Year |
Citation |
Score |
2019 |
Zhu X, Liang C, Yin Z, Shao Z, Liu M, Chen H. A new hierarchical software architecture towards safety-critical aspects of a drone system Journal of Zhejiang University Science C. 20: 353-362. DOI: 10.1631/Fitee.1800636 |
0.4 |
|
2018 |
Chen H, Wu X, Shao Z, Lockerman J, Gu R. Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Journal of Automated Reasoning. 61: 141-189. DOI: 10.1007/S10817-017-9446-0 |
0.336 |
|
2017 |
Appel AW, Beringer L, Chlipala A, Pierce BC, Shao Z, Weirich S, Zdancewic S. Position paper: the science of deep specification. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375. PMID 28871056 DOI: 10.1098/Rsta.2016.0331 |
0.616 |
|
2015 |
Hoffmann J, Shao Z. Type-based amortized resource analysis with integers and arrays * Journal of Functional Programming. 25. DOI: 10.1017/S0956796815000192 |
0.378 |
|
2011 |
Tan G, Shao Z, Feng X, Cai H. Weak Updates and Separation Logic New Generation Computing. 29: 3-29. DOI: 10.1007/S00354-010-0097-5 |
0.688 |
|
2010 |
Shao Z. Certified software Communications of the Acm. 53: 56-66. DOI: 10.1145/1859204.1859226 |
0.355 |
|
2009 |
Feng X, Shao Z, Guo Y, Dong Y. Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads Journal of Automated Reasoning. 42: 301-347. DOI: 10.1007/S10817-009-9118-9 |
0.525 |
|
2005 |
Shao Z, Trifonov V, Saha B, Papaspyrou N. A type system for certified binaries Acm Transactions On Programming Languages and Systems. 27: 1-45. DOI: 10.1145/1053468.1053469 |
0.752 |
|
2004 |
Hamid NA, Shao Z, Trifonov V, Monnier S, Ni Z. A Syntactic Approach to Foundational Proof-Carrying Code Journal of Automated Reasoning. 31: 191-229. DOI: 10.1023/B:Jars.0000021012.97318.E9 |
0.658 |
|
2004 |
Yu D, Hamid NA, Shao Z. Building certified libraries for PCC: dynamic storage allocation Science of Computer Programming. 50: 101-127. DOI: 10.1016/J.Scico.2004.01.003 |
0.749 |
|
2003 |
Saha B, Trifonov V, Shao Z. Intensional analysis of quantified types Acm Transactions On Programming Languages and Systems. 25: 159-209. DOI: 10.1145/641888.641889 |
0.717 |
|
2003 |
Monnier S, Shao Z. Inlining as staged computation Journal of Functional Programming. 13: 647-676. DOI: 10.1017/S0956796802004616 |
0.689 |
|
2002 |
League C, Shao Z, Trifonov V. Type-preserving compilation of Featherweight Java Acm Transactions On Programming Languages and Systems. 24: 112-152. DOI: 10.1145/514952.514954 |
0.753 |
|
2000 |
Shao Z, Appel AW. Efficient and safe-for-space closure conversion Acm Transactions On Programming Languages and Systems. 22: 129-161. DOI: 10.1145/345099.345125 |
0.442 |
|
2000 |
Shao Z. Typed common intermediate format Acm Sigsoft Software Engineering Notes. 25: 82. DOI: 10.1145/340855.341019 |
0.579 |
|
1998 |
Saha B, Shao Z. Optimal Type Lifting Lecture Notes in Computer Science. 156-177. DOI: 10.1007/Bfb0055517 |
0.699 |
|
1998 |
Shao Z, Trifonov V. Type-Directed Continuation Allocation Lecture Notes in Computer Science. 116-135. DOI: 10.1007/Bfb0055515 |
0.446 |
|
1996 |
Appel AW, Shao Z. Empirical and analytic study of stack versus heap cost for languages with closures Journal of Functional Programming. 6: 47-74. DOI: 10.1017/S095679680000157X |
0.44 |
|
Show low-probability matches. |