( en | de | ru )

 

Disambiguation of "Shao, Zhong"

Author of the publication

copydeleteadd this publication to your clipboard
Toward compositional verification of interruptible OS kernels and device drivers.

, , , , and . PLDI, page 431-447. ACM, (2016)

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

Callee-Save Registers in Continuation-Passing Style., and . LISP Symb. Comput., 5 (3): 191-221 (1992)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)Safe and Principled Language Interoperation., and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 128-146. Springer, (1999)Certified self-modifying code., , and . PLDI, page 66-77. ACM, (2007)Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions., , , and . DSN, page 453-465. IEEE, (2022)Ou: Automating the Parallelization of Zero-Knowledge Protocols., , , , , , , and . CCS, page 534-548. ACM, (2023)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)Space-Efficient Closure Representations., and . LISP and Functional Programming, page 150-161. ACM, (1994)