The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zhong Shao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christopher League, Zhong Shao, Valery Trifonov
    Precision in Practice: A Type-Preserving Java Compiler. [Citation Graph (0, 0)][DBLP]
    CC, 2003, pp:106-120 [Conf]
  2. Zhong Shao
    Typed Common Intermediate Format. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:89-102 [Conf]
  3. Valery Trifonov, Zhong Shao
    Safe and Principled Language Interoperation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:128-146 [Conf]
  4. Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
    Building Certified Libraries for PCC: Dynamic Storage Allocation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:363-379 [Conf]
  5. Xinyu Feng, Zhong Shao
    Modular verification of concurrent assembly code with dynamic thread creation and termination. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:254-267 [Conf]
  6. Dachuan Yu, Zhong Shao
    Verification of safety properties for concurrent assembly code. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:175-188 [Conf]
  7. Christopher League, Zhong Shao, Valery Trifonov
    Representing Java Classes in a Typed Intermediate Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:183-196 [Conf]
  8. Zhong Shao
    Flexible Representation Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:85-98 [Conf]
  9. Zhong Shao
    Typed Cross-Module Compilation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:141-152 [Conf]
  10. Zhong Shao
    Transparent Modules with Fully Syntactic Signatures. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:220-232 [Conf]
  11. Zhong Shao, Christopher League, Stefan Monnier
    Implementing Typed Intermediate Languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:313-323 [Conf]
  12. Valery Trifonov, Bratin Saha, Zhong Shao
    Fully reflexive intensional type analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:82-93 [Conf]
  13. Dachuan Yu, Zhong Shao, Valery Trifonov
    Supporting Binary Compatibility with Static Compilation. [Citation Graph (0, 0)][DBLP]
    Java™ Virtual Machine Research and Technology Symposium, 2002, pp:165-180 [Conf]
  14. Zhong Shao, Andrew W. Appel
    Space-Efficient Closure Representations. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:150-161 [Conf]
  15. Zhong Shao, John H. Reppy, Andrew W. Appel
    Unrolling Lists. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:185-195 [Conf]
  16. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:89-100 [Conf]
  17. Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni
    Modular verification of assembly code with stack-based control abstractions. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:401-414 [Conf]
  18. Stefan Monnier, Bratin Saha, Zhong Shao
    Principled Scavenging. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:81-91 [Conf]
  19. Zhong Shao, Andrew W. Appel
    A Type-Based Compiler for Standard ML. [Citation Graph (0, 0)][DBLP]
    PLDI, 1995, pp:116-129 [Conf]
  20. Zhaozhong Ni, Zhong Shao
    Certified assembly programming with embedded code pointers. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:320-333 [Conf]
  21. Zhong Shao, Andrew W. Appel
    Smartest Recompilation. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:439-450 [Conf]
  22. Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
    A type system for certified binaries. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:217-232 [Conf]
  23. Bratin Saha, Zhong Shao
    Optimal Type Lifting. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:156-177 [Conf]
  24. Zhong Shao, Valery Trifonov
    Type-Directed Continuation Allocation. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:116-135 [Conf]
  25. Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
    An open framework for foundational proof-carrying code. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:67-78 [Conf]
  26. Nadeem Abdul Hamid, Zhong Shao
    Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:118-135 [Conf]
  27. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:3-4, pp:191-229 [Journal]
  28. Andrew W. Appel, Zhong Shao
    Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:1, pp:47-74 [Journal]
  29. Stefan Monnier, Zhong Shao
    Inlining as staged computation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:647-676 [Journal]
  30. Andrew W. Appel, Zhong Shao
    Callee-Save Registers in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1992, v:5, n:3, pp:191-221 [Journal]
  31. Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
    Building certified libraries for PCC: dynamic storage allocation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:101-127 [Journal]
  32. Zhong Shao
    Invited Talk: Towards a Principled Multi-Language Infrastructure. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:1, pp:- [Journal]
  33. Christopher League, Zhong Shao, Valery Trifonov
    Type-preserving compilation of Featherweight Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:2, pp:112-152 [Journal]
  34. Bratin Saha, Valery Trifonov, Zhong Shao
    Intensional analysis of quantified types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:2, pp:159-209 [Journal]
  35. Zhong Shao, Andrew W. Appel
    Efficient and safe-for-space closure conversion. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:129-161 [Journal]
  36. Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
    A type system for certified binaries. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:1-45 [Journal]
  37. Xinyu Feng, Rodrigo Ferreira, Zhong Shao
    On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:173-188 [Conf]
  38. Hongxu Cai, Zhong Shao, Alexander Vaynberg
    Certified self-modifying code. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:66-77 [Conf]
  39. Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li
    A general framework for certifying garbage collectors and their mutators. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:468-479 [Conf]
  40. Zhaozhong Ni, Dachuan Yu, Zhong Shao
    Using XCAP to Certify Realistic Systems Code: Machine Context Management. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:189-206 [Conf]
  41. Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo
    Foundational Typed Assembly Language with Certified Garbage Collection. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:326-338 [Conf]

  42. Weak updates and separation logic. [Citation Graph (, )][DBLP]


  43. Reasoning about Optimistic Concurrency Using a Program Logic for History. [Citation Graph (, )][DBLP]


  44. Parameterized Memory Models and Concurrent Separation Logic. [Citation Graph (, )][DBLP]


  45. Certifying low-level programs with hardware interrupts and preemptive threads. [Citation Graph (, )][DBLP]


  46. Modular Development of Certified System Software. [Citation Graph (, )][DBLP]


  47. Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. [Citation Graph (, )][DBLP]


Search in 0.306secs, Finished in 0.308secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002