Zhong Shao

Cited by

	All	Since 2018
Citations	5480	1932
h-index	45	22
i10-index	80	43

380

190

285

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 38 60 75 106 65 95 92 164 125 144 173 129 226 195 212 236 149 120 172 132 200 253 258 266 336 326 337 373 292

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Xinyu FengNanjing UniversityVerified email at nju.edu.cn
Ronghui GuTang Family Assistant Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Hao ChenComputer Science, Yale UniversityVerified email at yale.edu
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
Vilhelm SjöbergYale UniversityVerified email at yale.edu
Jérémie KoenigPostdoctoral Associate, Yale UniversityVerified email at yale.edu
Bratin SahaAmazonVerified email at amazon.com
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Ming FuHuawei Dresden Research CenterVerified email at huawei.com
Hongjin LiangNanjing UniversityVerified email at nju.edu.cn
Rodrigo FerreiraVerified email at aya.yale.edu
Nikolaos PapaspyrouNational Technical University of AthensVerified email at softlab.ntua.gr
Bryan FordEPFLVerified email at epfl.ch
Antonis StampoulisAstartea Consulting LLCVerified email at astartea.consulting
John ReppyProfessor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Lennart BeringerPrinceton UniversityVerified email at cs.princeton.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu

Zhong Shao

Yale University

Verified email at yale.edu - Homepage

Programming Languages Compilers Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
{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	358*	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	236	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	174	2007
An overview of the FLINT/ML compiler Z Shao Proc. 1997 acm sigplan workshop on types in compilation 156, 156-158, 1997	159	1997
Certified assembly programming with embedded code pointers Z Ni, Z Shao Conference record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2006	156	2006
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	139	2007
Space-efficient closure representations Z Shao, AW Appel ACM SIGPLAN Lisp Pointers 7 (3), 150-161, 1994	135	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
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	128	2015
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	115	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	105	1998
Flexible representation analysis Z Shao ACM SIGPLAN Notices 32 (8), 85-98, 1997	104	1997
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	98	2007
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	97	2016
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	95	2003
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	95	2002
Empirical and analytic study of stack versus heap cost for languages with closures AW Appel, Z Shao Journal of Functional Programming 6 (1), 47-74, 1996	93	1996
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	88	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors