Michael Emmi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
13
Active years
2007–2020
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ESOP | Verifying Visibility-Based Weak Consistency. | Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic |
| 2020 | ICST | ct-fuzz: Fuzzing for Timing Leaks. | Shaobo He, Michael Emmi, Gabriela F. Ciocarlie |
| 2020 | PLDI | Behavioral simulation for smart contracts. | Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea |
| 2019 | CAV | On the Complexity of Checking Consistency for Replicated Data Types. | Ranadeep Biswas, Michael Emmi, Constantin Enea |
| 2019 | CAV | Violat: Generating Tests of Observational Refinement for Concurrent Objects. | Michael Emmi, Constantin Enea |
| 2018 | CAV | Monitoring Weak Consistency. | Michael Emmi, Constantin Enea |
| 2017 | CAV | Proving Linearizability Using Forward Simulations. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil |
| 2017 | ESOP | Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran |
| 2016 | ICSE | SMACK software verification toolchain. | Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi |
| 2016 | POPL | Symbolic abstract data type inference. | Michael Emmi, Constantin Enea |
| 2015 | CAV | Systematic Asynchrony Bug Exploration for Android Apps. | Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran |
| 2015 | ESOP | Analysis of Asynchronous Programs with Event-Based Synchronization. | Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo |
| 2015 | ICALP | On Reducing Linearizability to State Reachability. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | PLDI | Monitoring refinement via symbolic reasoning. | Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | POPL | Tractable Refinement Checking for Concurrent Objects. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | TACAS | SMACK+Corral: A Modular Verifier - (Competition Contribution). | Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric |
| 2014 | CAV | SMACK: Decoupling Source Language Details from Verifier Implementations. | Zvonimir Rakamaric, Michael Emmi |
| 2013 | ESOP | Verifying Concurrent Programs against Sequential Specifications. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2012 | CAV | Detecting Fair Non-termination in Multithreaded Programs. | Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal |
| 2012 | POPL | Analysis of recursively parallel programs. | Ahmed Bouajjani, Michael Emmi |
| 2012 | SAS | Finding Non-terminating Executions in Distributed Asynchronous Programs. | Michael Emmi, Akash Lal |
| 2012 | TACAS | Bounded Phase Analysis of Message-Passing Programs. | Ahmed Bouajjani, Michael Emmi |
| 2011 | POPL | Delay-bounded scheduling. | Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric |
| 2011 | SAS | On Sequentializing Concurrent Programs. | Ahmed Bouajjani, Michael Emmi, Gennaro Parlato |
| 2010 | PLDI | Parameterized verification of transactional memories. | Michael Emmi, Rupak Majumdar, Roman Manevich |
| 2009 | TACAS | Verifying Reference Counting Implementations. | Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar |
| 2008 | FM | Assume-Guarantee Verification for Interface Automata. | Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2008 | PLDI | Type-preserving compilation for large-scale optimizing object-oriented compilers. | Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis |
| 2007 | ISSTA | Dynamic test input generation for database applications. | Michael Emmi, Rupak Majumdar, Koushik Sen |
| 2007 | POPL | Lock allocation. | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
| 2007 | SIGGRAPH | Assembling an expressive facial animation system. | Alice Wang, Michael Emmi, Petros Faloutsos |
| 2007 | VMCAI | Verifying Compensating Transactions. | Michael Emmi, Rupak Majumdar |