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

The effects of a dual adaptive strategy with gesture recognition and perceived exertion on training efficiency of elders' functional fitness., , , , , and . Smart Learn. Environ., 6 (1): 15 (2019)A partially parallel splitting method for multiple-block separable convex programming with applications to robust PCA., , and . Comput. Optim. Appl., 63 (1): 273-303 (2016)Efficient deterministic multithreading through schedule relaxation., , , , and . SOSP, page 337-351. ACM, (2011)Using model checking to find serious file system errors., , , and . ACM Trans. Comput. Syst., 24 (4): 393-423 (2006)A variational method using Riemannian metric for SAR image segmentation., , , , and . IGARSS, page 787-790. IEEE, (2017)Performance Analysis of Delay Distribution and Packet Loss Ratio for Body-to-Body Networks., , , , , and . IEEE Internet Things J., 8 (22): 16598-16612 (2021)Learning Approximate Execution Semantics From Traces for Binary Function Similarity., , , , and . IEEE Trans. Software Eng., 49 (4): 2776-2790 (April 2023)Test-time Detection and Repair of Adversarial Samples via Masked Autoencoder., , , , , , and . CoRR, (2023)Robust Perception through Equivariance., , , , , and . CoRR, (2022)Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity., , , , and . CoRR, (2020)