| 2007 |
|---|
| 10 | EE | Yu Guo,
Xinyu Jiang,
Yiyun Chen,
Chunxiao Lin:
A Certified Thread Library for Multithreaded User Programs.
TASE 2007: 117-126 |
| 9 | 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 |
| 8 | EE | Chunxiao Lin,
Andrew McCreight,
Zhong Shao,
Yiyun Chen,
Yu Guo:
Foundational Typed Assembly Language with Certified Garbage Collection.
TASE 2007: 326-338 |
| 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 |
