Yiyun Chen

	2009
16		Xinyu Jiang, Yu Guo, Yiyun Chen: The Logical Approach to Low-Level Stack Reasoning. TASE 2009: 209-216
15		Long Li, Yu Zhang, Yiyun Chen, Yong Li: Certifying Concurrent Programs Using Transactional Memory. J. Comput. Sci. Technol. 24(1): 110-121 (2009)
	2008
14		Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: Implementation of Pointer Logic for Automated Verification. ICYCS 2008: 2295-2301
13		Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: An Extension to Pointer Logic for Verification. TASE 2008: 49-56
12		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
11		Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin: A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126
10		Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu: Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138
9		Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo: Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338
8		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)
7		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
6		Xiong Fu, Yu Zhang, Yiyun Chen: Data-Layout Optimization Using Reuse Distance Distribution. EUC Workshops 2006: 858-867
5		Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li: Modularly Certified Dynamic Storage Allocation in SCAP. QSIC 2006: 321-328
	2002
4		Fan Guo, Yiyun Chen, RongGui Hu: Machine Code Type Safety. ICFEM 2002: 495-499
	2001
3		Yuan Chun, Yiyun Chen: Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach. J. Comput. Sci. Technol. 16(6): 590-594 (2001)
	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	[3]
2	Xiong Fu	[6]
3	Lin Ge	[8] [10]
4	Fan Guo	[4]
5	Yu Guo	[9] [11] [16]
6	RongGui Hu	[4]
7	Baojian Hua	[8] [10] [12]
8	Bei Hua	[7]
9	Xinyu Jiang	[11] [16]
10	Long Li	[5] [7] [15]
11	Yong Li	[15]
12	Zhaopeng Li	[8] [10]
13	Chunxiao Lin	[5] [7] [9] [11]
14	Cheng Liu	[8] [10]
15	Andrew McCreight	[9]
16	Michael J. O'Donnell	[1] [2]
17	Zhong Shao	[9]
18	Bo Tian	[13] [14]
19	Wei Wang	[13] [14]
20	Zhenming Wang	[12] [13] [14]
21	Zhifang Wang	[8] [12] [13] [14]
22	Sen Xiang	[5]
23	Yu Zhang	[6] [15]

Colors in the list of coauthors