( en | de | ru )

 

Disambiguation of "Shao, Zhong"

Author of the publication

copydeleteadd this publication to your clipboard
A type system for certified binaries.

, , , and . ACM Trans. Program. Lang. Syst., 27 (1): 1-45 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hua Shao

Li Shao

Hua Shao

Junyang Shao

Gang Zhong

 

Other publications of authors with the same name

Layered and object-based game semantics., , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-32 (2022)Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation., , , , , , and . Proc. ACM Program. Lang., 4 (POPL): 20:1-20:31 (2020)Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)Callee-Save Registers in Continuation-Passing Style., and . LISP Symb. Comput., 5 (3): 191-221 (1992)Building certified concurrent OS kernels., , , , , , , and . Commun. ACM, 62 (10): 89-99 (2019)Inlining as staged computation., and . J. Funct. Program., 13 (3): 647-676 (2003)Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures., and . J. Funct. Program., 6 (1): 47-74 (1996)Efficient and safe-for-space closure conversion., and . ACM Trans. Program. Lang. Syst., 22 (1): 129-161 (2000)Modular Verification of Concurrent Thread Management., , , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 315-331. Springer, (2012)A Structural Approach to Prophecy Variables., , , , and . TAMC, volume 7287 of Lecture Notes in Computer Science, page 61-71. Springer, (2012)