Filters: Author is Long Li  [Clear All Filters]
Li L, Zhang Y, Chen Y, Li Y.  2009.  Certifying concurrent programs using transactional memory. Journal of Computer Science and Technology. 24:121. Download: jcst0901.pdf (467.14 KB); impl.rar (75.93 KB)
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)
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)
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)