| 2007 |
|---|
| 5 | EE | Andrew McCreight,
Zhong Shao,
Chunxiao Lin,
Long Li:
A general framework for certifying garbage collectors and their mutators.
PLDI 2007: 468-479 |
| 4 | EE | Yu Guo,
Xinyu Jiang,
Yiyun Chen,
Chunxiao Lin:
A Certified Thread Library for Multithreaded User Programs.
TASE 2007: 117-126 |
| 3 | EE | Chunxiao Lin,
Andrew McCreight,
Zhong Shao,
Yiyun Chen,
Yu Guo:
Foundational Typed Assembly Language with Certified Garbage Collection.
TASE 2007: 326-338 |
| 2 | 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 |
|---|
| 1 | EE | Sen Xiang,
Yiyun Chen,
Chunxiao Lin,
Long Li:
Modularly Certified Dynamic Storage Allocation in SCAP.
QSIC 2006: 321-328 |
