Zhong Shao
Zhong Shao
Dirección de correo verificada de - Página principal
Citado por
Citado por
{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
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
On the relationship between concurrent separation logic and assume-guarantee reasoning
X Feng, R Ferreira, Z Shao
European Symposium on Programming, 173-188, 2007
Certified assembly programming with embedded code pointers
Z Ni, Z Shao
Conference record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2006
An overview of the FLINT/ML compiler
Z Shao
Proc. 1997 acm sigplan workshop on types in compilation 156, 156-158, 1997
A type-based compiler for Standard ML
Z Shao, AW Appel
ACM SIGPLAN Notices 30 (6), 116-129, 1995
Certified self-modifying code
H Cai, Z Shao, A Vaynberg
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
Compositional certified resource bounds
Q Carbonneaux, J Hoffmann, Z Shao
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
Space-efficient closure representations
Z Shao, AW Appel
ACM SIGPLAN Lisp Pointers 7 (3), 150-161, 1994
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
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
Smartest recompilation
Z Shao, AW Appel
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
Implementing typed intermediate languages
Z Shao, C League, S Monnier
ACM SIGPLAN Notices 34 (1), 313-323, 1998
Flexible representation analysis
Z Shao
ACM SIGPLAN Notices 32 (8), 85-98, 1997
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
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
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
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
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20