( en | de | ru )

 

Disambiguation of "Shao, Zhong"

Author of the publication

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

, , , and . POPL, page 217-232. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.

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)Callee-Save Registers in Continuation-Passing Style., and . LISP Symb. Comput., 5 (3): 191-221 (1992)Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)Building certified concurrent OS kernels., , , , , , , and . Commun. ACM, 62 (10): 89-99 (2019)Efficient and safe-for-space closure conversion., and . ACM Trans. Program. Lang. Syst., 22 (1): 129-161 (2000)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)Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems., , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 54-69. Springer, (2008)TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions., , , and . DSN, page 453-465. IEEE, (2022)