Zhong Shao Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Benjamin C. Pierce: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009 ACM 2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai: Weak updates and separation logic. APLAS 2009: 178-193
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao: Modular Development of Certified System Software. TASE 2009: 5
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. J. Autom. Reasoning 42(2-4): 301-347 (2009)
2008
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinyu Feng, Zhong Shao, Yuan Dong, Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads. PLDI 2008: 170-182
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE 2008: 54-69
2007
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings Springer 2007
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinyu Feng, Rodrigo Ferreira, Zhong Shao: On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ESOP 2007: 173-188
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew McCreight, Zhong Shao, Chunxiao Lin, Long Li: A general framework for certifying garbage collectors and their mutators. PLDI 2007: 468-479
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongxu Cai, Zhong Shao, Alexander Vaynberg: Certified self-modifying code. PLDI 2007: 66-77
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo: Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo: An open framework for foundational proof-carrying code. TLDI 2007: 67-78
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaozhong Ni, Dachuan Yu, Zhong Shao: Using XCAP to Certify Realistic Systems Code: Machine Context Management. TPHOLs 2007: 189-206
2006
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni: Modular verification of assembly code with stack-based control abstractions. PLDI 2006: 401-414
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaozhong Ni, Zhong Shao: Certified assembly programming with embedded code pointers. POPL 2006: 320-333
2005
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinyu Feng, Zhong Shao: Modular verification of concurrent assembly code with dynamic thread creation and termination. ICFP 2005: 254-267
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou: A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27(1): 1-45 (2005)
2004
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDachuan Yu, Zhong Shao: Verification of safety properties for concurrent assembly code. ICFP 2004: 175-188
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadeem Abdul Hamid, Zhong Shao: Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code. TPHOLs 2004: 118-135
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDachuan Yu, Nadeem Abdul Hamid, Zhong Shao: Building certified libraries for PCC: dynamic storage allocation. Sci. Comput. Program. 50(1-3): 101-127 (2004)
2003
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Peter Lee: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003 ACM 2003
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher League, Zhong Shao, Valery Trifonov: Precision in Practice: A Type-Preserving Java Compiler. CC 2003: 106-120
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDachuan Yu, Nadeem Abdul Hamid, Zhong Shao: Building Certified Libraries for PCC: Dynamic Storage Allocation. ESOP 2003: 363-379
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBratin Saha, Valery Trifonov, Zhong Shao: Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reasoning 31(3-4): 191-229 (2003)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Monnier, Zhong Shao: Inlining as staged computation. J. Funct. Program. 13(3): 647-676 (2003)
2002
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDachuan Yu, Zhong Shao, Valery Trifonov: Supporting Binary Compatibility with Static Compilation. Java™ Virtual Machine Research and Technology Symposium 2002: 165-180
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou: A type system for certified binaries. POPL 2002: 217-232
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher League, Zhong Shao, Valery Trifonov: Type-preserving compilation of Featherweight Java. ACM Trans. Program. Lang. Syst. 24(2): 112-152 (2002)
2001
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Monnier, Bratin Saha, Zhong Shao: Principled Scavenging. PLDI 2001: 81-91
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao: Invited Talk: Towards a Principled Multi-Language Infrastructure. Electr. Notes Theor. Comput. Sci. 59(1): (2001)
2000
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValery Trifonov, Bratin Saha, Zhong Shao: Fully reflexive intensional type analysis. ICFP 2000: 82-93
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Andrew W. Appel: Efficient and safe-for-space closure conversion. ACM Trans. Program. Lang. Syst. 22(1): 129-161 (2000)
1999
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValery Trifonov, Zhong Shao: Safe and Principled Language Interoperation. ESOP 1999: 128-146
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher League, Zhong Shao, Valery Trifonov: Representing Java Classes in a Typed Intermediate Language. ICFP 1999: 183-196
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao: Transparent Modules with Fully Syntactic Signatures. ICFP 1999: 220-232
1998
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao: Typed Cross-Module Compilation. ICFP 1998: 141-152
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Christopher League, Stefan Monnier: Implementing Typed Intermediate Languages. ICFP 1998: 313-323
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Valery Trifonov: Type-Directed Continuation Allocation. Types in Compilation 1998: 116-135
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBratin Saha, Zhong Shao: Optimal Type Lifting. Types in Compilation 1998: 156-177
1997
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao: Typed Common Intermediate Format. DSL 1997: 89-102
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao: Flexible Representation Analysis. ICFP 1997: 85-98
1996
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew W. Appel, Zhong Shao: Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures. J. Funct. Program. 6(1): 47-74 (1996)
1995
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Andrew W. Appel: A Type-Based Compiler for Standard ML. PLDI 1995: 116-129
1994
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Andrew W. Appel: Space-Efficient Closure Representations. LISP and Functional Programming 1994: 150-161
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, John H. Reppy, Andrew W. Appel: Unrolling Lists. LISP and Functional Programming 1994: 185-195
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Andrew W. Appel: Smartest Recompilation. POPL 1993: 439-450
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew W. Appel, Zhong Shao: Callee-Save Registers in Continuation-Passing Style. Lisp and Symbolic Computation 5(3): 191-221 (1992)

Coauthor Index

1Andrew W. Appel [1] [2] [3] [4] [5] [6] [16]
2Hongxu Cai [40] [48]
3Yiyun Chen [39]
4Yuan Dong [44] [45] [46]
5Xinyu Feng [34] [36] [38] [42] [44] [45] [46] [48]
6Rodrigo Ferreira [42]
7Yu Guo [38] [39] [44] [45] [46]
8Nadeem Abdul Hamid [22] [25] [27] [30] [31]
9Christopher League [11] [14] [20] [28]
10Peter Lee [29]
11Long Li [41]
12Chunxiao Lin [39] [41]
13Andrew McCreight [39] [41]
14Stefan Monnier [11] [19] [22] [24] [25]
15Zhaozhong Ni [22] [25] [35] [36] [37] [38]
16Nikolaos S. Papaspyrou (Nikolaos Papaspyrou) [21] [33]
17Benjamin C. Pierce [49]
18John H. Reppy [3]
19Bratin Saha [9] [17] [19] [21] [26] [33]
20Gang Tan [48]
21Valery Trifonov [10] [14] [15] [17] [20] [21] [22] [23] [25] [26] [28] [33]
22Alexander Vaynberg [36] [40]
23Sen Xiang [36]
24Dachuan Yu [23] [27] [30] [32] [37]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)