( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Building certified concurrent OS kernels.

, , , , , , , и . Commun. ACM, 62 (10): 89-99 (2019)

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.

Hua Shao

Li Shao

Hua Shao

Junyang Shao

Gang Zhong

 

Другие публикации лиц с тем же именем

Callee-Save Registers in Continuation-Passing Style., и . LISP Symb. Comput., 5 (3): 191-221 (1992)Layered and object-based game semantics., , , , и . Proc. ACM Program. Lang., 6 (POPL): 1-32 (2022)Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)Building certified concurrent OS kernels., , , , , , , и . Commun. ACM, 62 (10): 89-99 (2019)Certified self-modifying code., , и . PLDI, стр. 66-77. ACM, (2007)Modular verification of assembly code with stack-based control abstractions., , , , и . PLDI, стр. 401-414. ACM, (2006)Modular verification of concurrent assembly code with dynamic thread creation and termination., и . ICFP, стр. 254-267. ACM, (2005)Flexible Representation Analysis.. ICFP, стр. 85-98. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Representing Java Classes in a Typed Intermediate Language., , и . ICFP, стр. 183-196. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Inlining as staged computation., и . J. Funct. Program., 13 (3): 647-676 (2003)