Author of the publication

Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.

, , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 275-293. Springer, (2009)

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.

 

Other publications of authors with the same name

ORC-OpenMP: An OpenMP Compiler Based on ORC., , , and . International Conference on Computational Science, volume 3038 of Lecture Notes in Computer Science, page 414-423. Springer, (2004)同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages)., and . 计算机科学, 46 (5): 21-28 (2019)PNTM Integration of Petri Nets and Transactional Memory., , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 196-199. CEUR-WS.org, (2011)An extended openmp targeting on the hybrid architecture of SMP-cluster., , , and . ACST, page 50-54. IASTED/ACTA Press, (2006)Modular Certification of Low-Level Intermediate Representation Programs., , , and . COMPSAC (1), page 563-570. IEEE Computer Society, (2009)VertexRank: Importance Rank for Software Network Vertices., , , and . COMPSAC, page 251-260. IEEE Computer Society, (2014)Improving Combinability of Petri Nets with Inheritance, Aggregation and Association., and . TASE, page 433-439. IEEE Computer Society, (2007)Transitions as Transactions., , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 136-151. CEUR-WS.org, (2011)Compiler Backend Generation for Application Specific Instruction Set Processors., , and . APLAS, volume 7078 of Lecture Notes in Computer Science, page 121-136. Springer, (2011)Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine., , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 275-293. Springer, (2009)