Author of the publication

Partitioned Memory Models for Program Analysis.

, , and . VMCAI, volume 10145 of Lecture Notes in Computer Science, page 539-558. Springer, (2017)

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

TarTar: A Timed Automata Repair Tool., , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 529-540. Springer, (2020)nekton: A Linearizability Proof Checker., , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 170-183. Springer, (2023)Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures., , , and . ISSRE, page 1-12. IEEE, (2019)Needles in a Haystack: Using PORT to Catch Bad Behaviors within Application Recordings., , , , and . ICSOFT, page 137-145. SCITEPRESS, (2022)Make Flows Small Again: Revisiting the Flow Framework., , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 628-646. Springer, (2023)Inverse-Weighted Survival Games., , , , , and . NeurIPS, page 2160-2172. (2021)Verifying concurrent search structure templates., , , and . PLDI, page 181-196. ACM, (2020)Partitioned Memory Models for Program Analysis., , and . VMCAI, volume 10145 of Lecture Notes in Computer Science, page 539-558. Springer, (2017)Clock Bound Repair for Timed Systems., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 79-96. Springer, (2019)VACCINE: Using Contextual Integrity For Data Leakage Detection., , , , , , and . WWW, page 1702-1712. ACM, (2019)