Author of the publication

Conditional correlation analysis for safe region-based memory management.

, , , , , and . PLDI, page 45-55. ACM, (2008)

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

MSL: a synthesis enabled language for distributed high performance computing implementations.. Massachusetts Institute of Technology, Cambridge, USA, (2016)ndltd.org (oai:dspace.mit.edu:1721.1/107359).Modular Synthesis of Sketches Using Models., , , , and . VMCAI, volume 8318 of Lecture Notes in Computer Science, page 395-414. Springer, (2014)R2: An Application-Level Kernel for Record and Replay., , , , , , , and . OSDI, page 193-208. USENIX Association, (2008)Tracking Rootkit Footprints with a Practical Memory Analysis System., , , and . USENIX Security Symposium, page 601-615. USENIX Association, (2012)MSL: A Synthesis Enabled Language for Distributed Implementations., , and . SC, page 311-322. IEEE, (2014)Conditional correlation analysis for safe region-based memory management., , , , , and . PLDI, page 45-55. ACM, (2008)Data-driven synthesis for object-oriented frameworks., , and . OOPSLA, page 65-82. ACM, (2011)MODIST: Transparent Model Checking of Unmodified Distributed Systems., , , , , , , , , and . NSDI, page 213-228. USENIX Association, (2009)Hang analysis: fighting responsiveness bugs., , , , , , and . EuroSys, page 177-190. ACM, (2008)Language-based replay via data flow cut., , , , , , , , , and . SIGSOFT FSE, page 197-206. ACM, (2010)