( en | de | ru )

 

Disambiguation of "Shao, Zhong"

Author of the publication

copydeleteadd this publication to your clipboard
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.

, , , , , , and . Proc. ACM Program. Lang., 4 (POPL): 20:1-20:31 (2020)

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

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)Efficient and safe-for-space closure conversion., and . ACM Trans. Program. Lang. Syst., 22 (1): 129-161 (2000)Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures., and . J. Funct. Program., 6 (1): 47-74 (1996)Inlining as staged computation., and . J. Funct. Program., 13 (3): 647-676 (2003)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)TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions., , , and . DSN, page 453-465. IEEE, (2022)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)