Zhong Shao

Dikutip oleh

	Semua	Sejak 2020
Kutipan	5976	1841
indeks-h	46	20
indeks-i10	88	49

420

210

105

315

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 36 58 80 113 65 95 92 166 130 136 170 129 211 192 202 234 148 122 174 140 198 254 255 266 337 319 336 358 378 402 46

Akses publik

Lihat semua

39 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Xinyu FengNanjing UniversityEmail yang diverifikasi di nju.edu.cn
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityEmail yang diverifikasi di columbia.edu
Andrew W. AppelProfessor of Computer Science, Princeton UniversityEmail yang diverifikasi di princeton.edu
Jérémie KoenigPostdoctoral Associate, Yale UniversityEmail yang diverifikasi di yale.edu
Hao ChenComputer Science, Yale UniversityEmail yang diverifikasi di yale.edu
David CostanzoComputer Science Grad Student, Yale UniversityEmail yang diverifikasi di yale.edu
Jan HoffmannCarnegie Mellon UniversityEmail yang diverifikasi di cmu.edu
Jieung KimAssistant Professor, Yonsei UniversityEmail yang diverifikasi di yonsei.ac.kr
Vilhelm SjöbergYale UniversityEmail yang diverifikasi di yale.edu
Bratin SahaAmazonEmail yang diverifikasi di amazon.com
Christopher LeagueAssociate Professor, Computer Science, Long Island UniversityEmail yang diverifikasi di liu.edu
Tahina RamananandroMicrosoft ResearchEmail yang diverifikasi di ramananandro.org
Man-Ki YoonAssistant Professor of Computer Science, North Carolina State UniversityEmail yang diverifikasi di ncsu.edu
Jung-Eun KimAssistant Professor, Computer Science, North Carolina State UniversityEmail yang diverifikasi di ncsu.edu
Nadeem Abdul HamidAssociate Professor of Computer Science, Berry CollegeEmail yang diverifikasi di acm.org
Ming FuHuawei Dresden Research CenterEmail yang diverifikasi di huawei.com
Hongjin LiangNanjing UniversityEmail yang diverifikasi di nju.edu.cn
Rodrigo FerreiraEmail yang diverifikasi di aya.yale.edu
Mengqi LiuAlibaba GroupEmail yang diverifikasi di alibaba-inc.com
Nikolaos PapaspyrouNational Technical University of AthensEmail yang diverifikasi di softlab.ntua.gr

Ikuti

Zhong Shao

Yale University

Email yang diverifikasi di yale.edu - Beranda

Programming Languages Compilers Formal Methods


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
{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	441*	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	276	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	185	2007
An overview of the FLINT/ML compiler Z Shao Proc. 1997 acm sigplan workshop on types in compilation 156, 156-158, 1997	165	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	160	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	153	2015
Certified self-modifying code H Cai, Z Shao, A Vaynberg Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	149	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	131	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
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	113	2016
Smartest recompilation Z Shao, AW Appel Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	111	1993
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	100	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	97	2002
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	95	2007
Automatic static cost analysis for parallel programs J Hoffmann, Z Shao Programming Languages and Systems: 24th European Symposium on Programming …, 2015	94	2015

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama