Yiyun Chen

2008
14	EE	Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: Implementation of Pointer Logic for Automated Verification. ICYCS 2008: 2295-2301
13	EE	Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: An Extension to Pointer Logic for Verification. TASE 2008: 49-56
12	EE	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	EE	Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin: A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126
10	EE	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	EE	Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo: Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338
8	EE	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	EE	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	EE	Xiong Fu, Yu Zhang, Yiyun Chen: Data-Layout Optimization Using Reuse Distance Distribution. EUC Workshops 2006: 858-867
5	EE	Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li: Modularly Certified Dynamic Storage Allocation in SCAP. QSIC 2006: 321-328
2002
4	EE	Fan Guo, Yiyun Chen, RongGui Hu: Machine Code Type Safety. ICFEM 2002: 495-499
2001
3	EE	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]
6	RongGui Hu	[4]
7	Baojian Hua	[8] [10] [12]
8	Bei Hua	[7]
9	Xinyu Jiang	[11]
10	Long Li	[5] [7]
11	Zhaopeng Li	[8] [10]
12	Chunxiao Lin	[5] [7] [9] [11]
13	Cheng Liu	[8] [10]
14	Andrew McCreight	[9]
15	Michael J. O'Donnell	[1] [2]
16	Zhong Shao	[9]
17	Bo Tian	[13] [14]
18	Wei Wang	[13] [14]
19	Zhenming Wang	[12] [13] [14]
20	Zhifang Wang	[8] [12] [13] [14]
21	Sen Xiang	[5]
22	Yu Zhang	[6]

Colors in the list of coauthors