Yiyun Chen

	2011
25		Zhaopeng Li, Yang Zhang, Yiyun Chen: A Method to Generate Verification Condition Generator. TASE 2011: 239-242
	2010
24		Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan: A Certifying Compiler for Clike Subset of C Language. TASE 2010: 47-56
23		Yu Guo, Xinyu Jiang, Yiyun Chen: Certification of Thread Context Switching. J. Comput. Sci. Technol. 25(4): 827-840 (2010)
22		Yong Li, Yu Zhang, Yiyun Chen, Ming Fu: Formal Reasoning About Lazy-STM Programs. J. Comput. Sci. Technol. 25(4): 841-852 (2010)
	2009
21		Yong Li, Yu Zhang, Yiyun Chen, Ming Fu: On the Verification of Strong Atomicity in Programs Using STM. SSIRI 2009: 123-131
20		Xinyu Jiang, Yu Guo, Yiyun Chen: The Logical Approach to Low-Level Stack Reasoning. TASE 2009: 209-216
19		Chunxiao Lin, Yiyun Chen, Bei Hua: Verification of an Incremental Garbage Collector in Hoare-Style Logic. Int. J. Software and Informatics 3(1): 67-88 (2009)
18		Long Li, Yu Zhang, Yiyun Chen, Yong Li: Certifying Concurrent Programs Using Transactional Memory. J. Comput. Sci. Technol. 24(1): 110-121 (2009)
	2008
17		Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: Implementation of Pointer Logic for Automated Verification. ICYCS 2008: 2295-2301
16		Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: An Extension to Pointer Logic for Verification. TASE 2008: 49-56
15		Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua: Automated verification of pointer programs in pointer logic. Frontiers of Computer Science in China 2(4): 380-397 (2008)
	2007
14		Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin: A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126
13		Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu: Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138
12		Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo: Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338
11		Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang: A pointer logic and certifying compiler. Frontiers of Computer Science in China 1(3): 297-312 (2007)
10		Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua: Garbage Collector Verification for Proof-Carrying Code. J. Comput. Sci. Technol. 22(3): 426-437 (2007)
	2006
9		Bo Yan, Yiyun Chen, Zhiyong Zhang: Applied Research on Logistics Grid Based on ASP. APSCC 2006: 146-152
8		Xiong Fu, Yu Zhang, Yiyun Chen: Data-Layout Optimization Using Reuse Distance Distribution. EUC Workshops 2006: 858-867
7		Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li: Modularly Certified Dynamic Storage Allocation in SCAP. QSIC 2006: 321-328
	2002
6		Fan Guo, Yiyun Chen, RongGui Hu: Machine Code Type Safety. ICFEM 2002: 495-499
	2001
5		Yuan Chun, Yiyun Chen: Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach. J. Comput. Sci. Technol. 16(6): 590-594 (2001)
	1995
4		Yiyun Chen: Head boundedness of nonterminating rewritings. J. Comput. Sci. Technol. 10(3): 281-284 (1995)
	1993
3		Yiyun Chen: Nonterminating rewritings with head boundedness. J. Comput. Sci. Technol. 8(2): 162-171 (1993)
	1990
2		Yiyun Chen, Michael J. O'Donnell: Infinite Terms and Infinite Rewritings. CTRS 1990: 115-126
1		Yiyun Chen, Michael J. O'Donnell: Testing Confluence of Nonterminating Rewriting Systems. CTRS 1990: 127-136

Coauthor Index

1	Yuan Chun	[5]
2	Dawei Fan	[24]
3	Ming Fu	[21] [22]
4	Xiong Fu	[8]
5	Lin Ge	[11] [13]
6	Fan Guo	[6]
7	Yu Guo	[12] [14] [20] [23]
8	RongGui Hu	[6]
9	Baojian Hua	[11] [13] [15]
10	Bei Hua	[10] [19]
11	Xinyu Jiang	[14] [20] [23]
12	Long Li	[7] [10] [18]
13	Yong Li	[18] [21] [22]
14	Zhaopeng Li	[11] [13] [24] [25]
15	Chunxiao Lin	[7] [10] [12] [14] [19]
16	Cheng Liu	[11] [13]
17	Andrew McCreight	[12]
18	Michael J. O'Donnell	[1] [2]
19	Zhong Shao	[12]
20	Bo Tian	[16] [17]
21	Wei Wang	[16] [17]
22	Zhenming Wang	[15] [16] [17]
23	Zhifang Wang	[11] [15] [16] [17]
24	Sen Xiang	[7]
25	Bo Yan	[9]
26	Simin Yang	[24]
27	Yang Zhang	[25]
28	Yu Zhang	[8] [18] [21] [22]
29	Zhenting Zhang	[24]
30	Zhiyong Zhang	[9]
31	Zhong Zhuang	[24]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page