Languages

Biblio

Filters: Author is Chunxiao Lin  [Clear All Filters]
2009
Lin C, Chen Y, Hua B.  2009.  Verification of an Incremental Garbage Collector in Hoare-Style Logic. International Journal of Software and Informatics. 3(1):67-88.
2008
Guo Y, Chen Y, Lin C.  2008.  A Method for Code Safety Proof Construction. Chinese Journal of Software. 19:2720-2727. Download: guo08jos.pdf (74.08 KB)
2007
Lin C, Chen Y, Li L, Hua B.  2007.  Garbage Collector Verification for Proof-Carrying Code. Journal of Computer Science and Technology. 22:426-437. Download: paper.pdf (307.85 KB)
Guo Y, Jiang X, Chen Y, Lin C.  2007.  A Certified Thread Library for Multithreaded User Programs. Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007). :127-136. Download: guo07tase.pdf (319.29 KB)
Lin C, McCreight A, Shao Z, Chen Y, Guo Y.  2007.  Foundational Typed Assembly Language with Certified Garbage Collection. Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007). :326-335. Download: talgc.pdf (207.19 KB)
McCreight A, Shao Z, Lin C, Li L.  2007.  A General Framework for Certifying Garbage Collectors and Their Mutators. Proceedings of the 2007 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2007). :468-479. Download: hgc.pdf (273.09 KB)
Xiang S, Chen Y, Lin C, Li L.  2007.  Coq Implementation of Certified Dynamic Storage Allocation. Chinese Journal of Computer Research and Development. 44:361-367. Download: xiang07jcrd.pdf (432.33 KB)
2006
Xiang S, Chen Y, Lin C, Li L.  2006.  Modularly Certified Dynamic Storage Allocation in SCAP. Proceedings of Sixth International Conference on Quality Software (QSIC'06). :321-328. Download: xiang06qsic.pdf (325.81 KB)