Parents
Sign in to add mentor| Andrew Appel | grad student | 1994 | Princeton | |
| (Compiling Standard ML for Efficient Execution on Modern Machines) | ||||
Children
Sign in to add trainee| Christopher A. League | grad student | 2002 | Yale |
| Bratin Saha | grad student | 2002 | Yale |
| Stefan Monnier | grad student | 2003 | Yale |
| Dachuan Yu | grad student | 2004 | Yale |
| Nadeem A. Hamid | grad student | 2005 | Yale |
| Zhaozhong Ni | grad student | 2007 | Yale |
| Rodrigo Ferreira | grad student | 2010 | Yale |
| Antonios M. Stampoulis | grad student | 2013 | Yale |
| Alexander L. Vaynberg | grad student | 2013 | Yale |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Zhu X, Liang C, Yin Z, et al. (2019) A new hierarchical software architecture towards safety-critical aspects of a drone system Journal of Zhejiang University Science C. 20: 353-362 |
| Chen H, Wu X, Shao Z, et al. (2018) Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Journal of Automated Reasoning. 61: 141-189 |
| Appel AW, Beringer L, Chlipala A, et al. (2017) Position paper: the science of deep specification. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375 |
| Hoffmann J, Shao Z. (2015) Type-based amortized resource analysis with integers and arrays * Journal of Functional Programming. 25 |
| Tan G, Shao Z, Feng X, et al. (2011) Weak Updates and Separation Logic New Generation Computing. 29: 3-29 |
| Shao Z. (2010) Certified software Communications of the Acm. 53: 56-66 |
| Feng X, Shao Z, Guo Y, et al. (2009) Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads Journal of Automated Reasoning. 42: 301-347 |
| Shao Z, Trifonov V, Saha B, et al. (2005) A type system for certified binaries Acm Transactions On Programming Languages and Systems. 27: 1-45 |
| Hamid NA, Shao Z, Trifonov V, et al. (2004) A Syntactic Approach to Foundational Proof-Carrying Code Journal of Automated Reasoning. 31: 191-229 |
| Yu D, Hamid NA, Shao Z. (2004) Building certified libraries for PCC: dynamic storage allocation Science of Computer Programming. 50: 101-127 |