Author of the publication

MODIST: Transparent Model Checking of Unmodified Distributed Systems.

, , , , , , , , , and . NSDI, page 213-228. USENIX Association, (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

Genome-wide prediction and analysis of function-specific transcription factor binding sites., , , , , and . In Silico Biology, 4 (4): 395-410 (2004)Optical-flow-based framework to boost video object detection performance with object enhancement., , and . Expert Syst. Appl., (2021)SigVM: enabling event-driven execution for truly decentralized smart contracts., , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 673-698 (2022)Sound input filter generation for integer overflow errors., , , and . POPL, page 439-452. ACM, (2014)Multiscale Empirical Analysis of Software Network Evolution., , , , , and . QRS Companion, page 1109-1118. IEEE, (2021)Automatic patch generation via learning from successful human patches.. Massachusetts Institute of Technology, Cambridge, USA, (2018)ndltd.org (oai:dspace.mit.edu:1721.1/115774).Securing smart contract with runtime validation., , and . PLDI, page 438-453. ACM, (2020)MODIST: Transparent Model Checking of Unmodified Distributed Systems., , , , , , , , , and . NSDI, page 213-228. USENIX Association, (2009)An Improved Blind Optimization Algorithm for Hardware/Software Partitioning and Scheduling., , , and . ICSI (2), volume 10942 of Lecture Notes in Computer Science, page 225-234. Springer, (2018)Sparseness of the LS-SVM algorithm based on the leave one out cross validation method with Multibeam data., , , and . EITCE, page 253-257. ACM, (2020)