Yiyun Chen

Zhaopeng Li, Yang Zhang, Yiyun Chen: A Method to Generate Verification Condition Generator. TASE 2011: 239-242

Yu Guo, Xinyu Jiang, Yiyun Chen: Certification of Thread Context Switching. J. Comput. Sci. Technol. 25(4): 827-840 (2010)

Yong Li, Yu Zhang, Yiyun Chen, Ming Fu: Formal Reasoning About Lazy-STM Programs. J. Comput. Sci. Technol. 25(4): 841-852 (2010)

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

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)

Long Li, Yu Zhang, Yiyun Chen, Yong Li: Certifying Concurrent Programs Using Transactional Memory. J. Comput. Sci. Technol. 24(1): 110-121 (2009)

Yong Li, Yu Zhang, Yiyun Chen, Ming Fu: On the Verification of Strong Atomicity in Programs Using STM. SSIRI 2009: 123-131

Xinyu Jiang, Yu Guo, Yiyun Chen: The Logical Approach to Low-Level Stack Reasoning. TASE 2009: 209-216

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)

Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: Implementation of Pointer Logic for Automated Verification. ICYCS 2008: 2295-2301

Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: An Extension to Pointer Logic for Verification. TASE 2008: 49-56

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)

Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua: Garbage Collector Verification for Proof-Carrying Code. J. Comput. Sci. Technol. 22(3): 426-437 (2007)

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin: A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126

Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu: Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138

Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo: Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338

Bo Yan, Yiyun Chen, Zhiyong Zhang: Applied Research on Logistics Grid Based on ASP. APSCC 2006: 146-152

Xiong Fu, Yu Zhang, Yiyun Chen: Data-Layout Optimization Using Reuse Distance Distribution. EUC Workshops 2006: 858-867

Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li: Modularly Certified Dynamic Storage Allocation in SCAP. QSIC 2006: 321-328

Fan Guo, Yiyun Chen, RongGui Hu: Machine Code Type Safety. ICFEM 2002: 495-499

Yuan Chun, Yiyun Chen: Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach. J. Comput. Sci. Technol. 16(6): 590-594 (2001)

Yiyun Chen: Head boundedness of nonterminating rewritings. J. Comput. Sci. Technol. 10(3): 281-284 (1995)

Yiyun Chen: Nonterminating rewritings with head boundedness. J. Comput. Sci. Technol. 8(2): 162-171 (1993)

Yiyun Chen, Michael J. O'Donnell: Infinite Terms and Infinite Rewritings. CTRS 1990: 115-126

Yiyun Chen, Michael J. O'Donnell: Testing Confluence of Nonterminating Rewriting Systems. CTRS 1990: 127-136