Project

Publications

[1]  
Yu Guo, Yiyun Chen, and Chunxiao Lin. A method for code safety proof construction. Chinese Journal of Software, 19(10):2720-2727, Oct 2008. [ bib | .pdf ]
[2]
Yu Guo, Xinyu Jiang, Yiyun Chen, and Chunxiao Lin. A certified type checker for typed assembly language. Journal of Chinese Computer Systems, 29(7):1230-1236, July 2008. [ bib | .pdf ]
[3]
Xinyu Feng, Zhong Shao, Yuan Dong, and Yu Guo. Certifying low-level programs with hardware interrupts and preemptive threads. In Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2008), pages 170-182, Tucson, Arizona, Jun 2008. ACM Press. [ bib | .pdf ]
[4]
Yu Guo, Xinyu Jiang, Yiyun Chen, and Chunxiao Lin. A certified thread library for multithreaded user programs. In Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pages 127-136, Shanghai, China, Jun 2007. IEEE Computer Society. [ bib | .pdf ]