Languages

Biblio

Filters: Author is Yu Guo  [Clear All Filters]
2015
Gu R, Koenig J, Ramananandro T, Shao Z, Wu X(N), Weng S-C, Zhang H, Guo Y.  2015.  Deep Specifications and Certified Abstraction Layers. Proc. 42rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), pp 595-608.
2012
Guo Y, Feng X, Shao Z, Shi P.  2012.  Modular Verification of Concurrent Thread Management. 10th Asian Symposium on Programming Languages and Systems.
2011
Wang W, Shao Z, Jiang X, Guo Y.  2011.  A Simple Model for Certifying Assembly Programs with First-class Function Pointers. 5th IEEE International Symposium on Theoretical Aspects of Software Engineering.
2010
Guo Y, Jiang X-Y, Chen Y-Y.  2010.  Cerification of Thread Context Switching. Journal of Computer Science and Technology. 25(4)(1):827-840. Download: swap.pdf (588.52 KB)
2009
Jiang X, Guo Y, Chen Y.  2009.  The Logical Approach to Low-level Stack Reasoning. 3th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'09).  Download: tase-ieee.pdf (109.46 KB)
2008
Feng X, Shao Z, Guo Y, Dong Y.  2008.  Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08). :54-69. Download: itrimp.pdf (250.73 KB)
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)
Feng X, Shao Z, Dong Y, Guo Y.  2008.  Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2008). :170-182. Download: aim.pdf (291.12 KB)
2007
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)
Feng X, Ni Z, Shao Z, Guo Y.  2007.  An Open Framework for Foundational Proof-Carrying Code. Proceedings of the 3rd ACM Workshop on Types in Language Design and Implementation. :67-78. Download: ocap.pdf (265.54 KB)