Zhong Shao

Citado por

	Total	Desde 2019
Citas	5669	1866
Índice h	45	20
Índice i10	81	47

380

190

285

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 37 60 78 106 65 94 92 165 129 142 171 128 221 192 201 235 148 118 172 136 200 254 257 271 335 329 331 359 366 146

Acceso público

Ver todo

34 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Xinyu FengNanjing UniversityDirección de correo verificada de nju.edu.cn
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityDirección de correo verificada de columbia.edu
Andrew W. AppelProfessor of Computer Science, Princeton UniversityDirección de correo verificada de princeton.edu
Jérémie KoenigPostdoctoral Associate, Yale UniversityDirección de correo verificada de yale.edu
Hao ChenComputer Science, Yale UniversityDirección de correo verificada de yale.edu
Jan HoffmannCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
Vilhelm SjöbergYale UniversityDirección de correo verificada de yale.edu
Bratin SahaAmazonDirección de correo verificada de amazon.com
Tahina RamananandroMicrosoft ResearchDirección de correo verificada de ramananandro.org
Ming FuHuawei Dresden Research CenterDirección de correo verificada de huawei.com
Hongjin LiangNanjing UniversityDirección de correo verificada de nju.edu.cn
Rodrigo FerreiraDirección de correo verificada de aya.yale.edu
Nikolaos PapaspyrouNational Technical University of AthensDirección de correo verificada de softlab.ntua.gr
Bryan FordEPFLDirección de correo verificada de epfl.ch
Antonis StampoulisAstartea Consulting LLCDirección de correo verificada de astartea.consulting
John ReppyProfessor of Computer Science, University of ChicagoDirección de correo verificada de cs.uchicago.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinDirección de correo verificada de cs.wisc.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Lennart BeringerPrinceton UniversityDirección de correo verificada de cs.princeton.edu

Seguir

Zhong Shao

Yale University

Dirección de correo verificada de yale.edu - Página principal

Programming Languages Compilers Formal Methods


Título Ordenar por citas Ordenar por año Ordenar por 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	387*	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	257	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	175	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	162	2006
An overview of the FLINT/ML compiler Z Shao Proc. 1997 acm sigplan workshop on types in compilation 156, 156-158, 1997	159	1997
A type-based compiler for Standard ML Z Shao, AW Appel ACM SIGPLAN Notices 30 (6), 116-129, 1995	156	1995
Certified self-modifying code H Cai, Z Shao, A Vaynberg Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	143	2007
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	138	2015
Space-efficient closure representations Z Shao, AW Appel ACM SIGPLAN Lisp Pointers 7 (3), 150-161, 1994	138	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	129	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	118	2008
Smartest recompilation Z Shao, AW Appel Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	109	1993
Implementing typed intermediate languages Z Shao, C League, S Monnier ACM SIGPLAN Notices 34 (1), 313-323, 1998	106	1998
Flexible representation analysis Z Shao ACM SIGPLAN Notices 32 (8), 85-98, 1997	105	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	101	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	97	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	96	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	94	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	92	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	91	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores