Seguir
Zhong Shao
Zhong Shao
Dirección de correo verificada de yale.edu - Página principal
Título
Citado por
Citado por
Año
{CertiKOS}: An extensible architecture for building certified concurrent {OS} kernels
R Gu, Z Shao, H Chen, XN Wu, J Kim, V Sjöberg, D Costanzo
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
390*2016
Deep specifications and certified abstraction layers
R Gu, J Koenig, T Ramananandro, Z Shao, X Wu, SC Weng, H Zhang, ...
ACM SIGPLAN Notices 50 (1), 595-608, 2015
2602015
On the relationship between concurrent separation logic and assume-guarantee reasoning
X Feng, R Ferreira, Z Shao
European Symposium on Programming, 173-188, 2007
1762007
Certified assembly programming with embedded code pointers
Z Ni, Z Shao
Conference record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2006
1622006
An overview of the FLINT/ML compiler
Z Shao
Proc. 1997 acm sigplan workshop on types in compilation 156, 156-158, 1997
1591997
A type-based compiler for Standard ML
Z Shao, AW Appel
ACM SIGPLAN Notices 30 (6), 116-129, 1995
1571995
Certified self-modifying code
H Cai, Z Shao, A Vaynberg
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
1452007
Compositional certified resource bounds
Q Carbonneaux, J Hoffmann, Z Shao
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1382015
Space-efficient closure representations
Z Shao, AW Appel
ACM SIGPLAN Lisp Pointers 7 (3), 150-161, 1994
1381994
Modular verification of assembly code with stack-based control abstractions
X Feng, Z Shao, A Vaynberg, S Xiang, Z Ni
ACM SIGPLAN Notices 41 (6), 401-414, 2006
1292006
Certifying low-level programs with hardware interrupts and preemptive threads
X Feng, Z Shao, Y Dong, Y Guo
ACM SIGPLAN Notices 43 (6), 170-182, 2008
1192008
Smartest recompilation
Z Shao, AW Appel
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1101993
Implementing typed intermediate languages
Z Shao, C League, S Monnier
ACM SIGPLAN Notices 34 (1), 313-323, 1998
1061998
Flexible representation analysis
Z Shao
ACM SIGPLAN Notices 32 (8), 85-98, 1997
1051997
End-to-end verification of information-flow security for C and assembly programs
D Costanzo, Z Shao, R Gu
ACM SIGPLAN Notices 51 (6), 648-664, 2016
1042016
A type system for certified binaries
Z Shao, B Saha, V Trifonov, N Papaspyrou
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
972002
A syntactic approach to foundational proof-carrying code
NA Hamid, Z Shao, V Trifonov, S Monnier, Z Ni
Journal of Automated Reasoning 31, 191-229, 2003
962003
A general framework for certifying garbage collectors and their mutators
A McCreight, Z Shao, C Lin, L Li
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
942007
End-to-end verification of stack-space bounds for C programs
Q Carbonneaux, J Hoffmann, T Ramananandro, Z Shao
ACM SIGPLAN Notices 49 (6), 270-281, 2014
922014
An open framework for foundational proof-carrying code
X Feng, Z Ni, Z Shao, Y Guo
Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007
912007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20