Zhong Shao

Cited by

	All	Since 2019
Citations	5810	2024
h-index	45	22
i10-index	85	50

380

190

285

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 36 58 80 112 65 95 92 166 130 136 170 129 211 192 202 234 149 122 173 140 196 252 255 266 336 319 336 366 377 285

Public access

View all

35 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Xinyu FengNanjing UniversityVerified email at nju.edu.cn
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Jérémie KoenigPostdoctoral Associate, Yale UniversityVerified email at yale.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
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 BeringerVerified email at pm.me
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.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	414*	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	260	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	180	2007
An overview of the FLINT/ML compiler Z Shao Proc. 1997 acm sigplan workshop on types in compilation 156, 156-158, 1997	164	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	159	2006
A type-based compiler for Standard ML Z Shao, AW Appel ACM SIGPLAN Notices 30 (6), 116-129, 1995	158	1995
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	146	2015
Certified self-modifying code H Cai, Z Shao, A Vaynberg Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	144	2007
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	130	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	117	2008
Smartest recompilation Z Shao, AW Appel Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	111	1993
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	108	2016
Implementing typed intermediate languages Z Shao, C League, S Monnier ACM SIGPLAN Notices 34 (1), 313-323, 1998	107	1998
Flexible representation analysis Z Shao ACM SIGPLAN Notices 32 (8), 85-98, 1997	106	1997
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	99	2003
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	98	2014
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	96	2002
Automatic static cost analysis for parallel programs J Hoffmann, Z Shao Programming Languages and Systems: 24th European Symposium on Programming …, 2015	94	2015
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

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