( en | de | ru )

 

Disambiguierung von "Shao, Zhong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ABC: Abstract prediction Before Concreteness.

, , , und . DATE, Seite 1103-1108. IEEE, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hua Shao

Li Shao

Hua Shao

Junyang Shao

Weimin Zhong

 

Weitere Publikationen von Autoren mit dem selben Namen

Callee-Save Registers in Continuation-Passing Style., und . 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., , , , , , , und . Commun. ACM, 62 (10): 89-99 (2019)Ou: Automating the Parallelization of Zero-Knowledge Protocols., , , , , , , und . CCS, Seite 534-548. ACM, (2023)Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems., , , und . VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 54-69. Springer, (2008)TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions., , , und . DSN, Seite 453-465. IEEE, (2022)Space-Efficient Closure Representations., und . LISP and Functional Programming, Seite 150-161. ACM, (1994)Modular verification of concurrent assembly code with dynamic thread creation and termination., und . ICFP, Seite 254-267. ACM, (2005)Flexible Representation Analysis.. ICFP, Seite 85-98. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Representing Java Classes in a Typed Intermediate Language., , und . ICFP, Seite 183-196. ACM, (1999)SIGPLAN Notices 34(9), September 1999.