Languages

Biblio

Filters: Author is Zhong Shao  [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.
2014
Liang H, Feng X, Shao Z.  2014.  Compositional Verification of Termination-Preserving Refinement of Concurrent Programs. Proc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14). 2014.07.14-18. pp 65:1-65:10.
2013
Liang H, Hoffmann J, Feng X, Shao Z.  2013.  Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. 24th International Conference on Concurrency Theory (CONCUR'13).
2012
Zhang Z, Feng X, Fu M, Shao Z, Li Y.  2012.  A Structural Approach to Prophecy Variables. 9th annual conference on Theory and Applications of Models of Computation.
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.
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)
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
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)
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)
2006
Feng X, Shao Z, Vaynberg A, Xiang S, Ni Z.  2006.  Modular Verification of Assembly Code with Stack-Based Control Abstractions. Proceedings of the 2006 ACM SIGPLAN conference on Programming Language Design and Implementation. :401-414. Download: sbca.pdf (315.19 KB)