Michael Emmi

52 papers A* 12A 9B 5Journal 10Unranked 16
YearRankTypeTitle / Venue / Authors
2023 — conf
Compositional Taint Analysis for Enforcing Security Policies at Scale.
ESEC/SIGSOFT FSE
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang
2023 B ed.
Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
VMCAI
Cezara Dragoi, Michael Emmi, Jingbo Wang
2021 — conf
RAPID: checking API usage for the cloud in the cloud.
ESEC/SIGSOFT FSE
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2020 A* conf
Behavioral simulation for smart contracts.
PLDI
Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea
2020 A conf
Verifying Visibility-Based Weak Consistency.
ESOP
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
2020 A conf
ct-fuzz: Fuzzing for Timing Leaks.
ICST
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
2019 — conf
Application of Trust Assessment Techniques to IoBT Systems.
MILCOM
Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Michael Emmi, Jemin George, Nandi Leslie, James Michaelis
2019 — conf
On the Complexity of Checking Consistency for Replicated Data Types.
CAV (2)
Ranadeep Biswas, Michael Emmi, Constantin Enea
2019 J jnl
Verifying Visibility-Based Weak Consistency.
CoRR
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
2019 — conf
Violat: Generating Tests of Observational Refinement for Concurrent Objects.
CAV (2)
Michael Emmi, Constantin Enea
2019 J jnl
Weak-consistency specification via visibility relaxation.
Proc. ACM Program. Lang.
Michael Emmi, Constantin Enea
2019 J jnl
ct-fuzz: Fuzzing for Timing Leaks.
CoRR
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
2018 — conf
Monitoring Weak Consistency.
CAV (1)
Michael Emmi, Constantin Enea
2018 J jnl
On reducing linearizability to state reachability.
Inf. Comput.
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2018 — conf
SideTrail: Verifying Time-Balancing of Cryptosystems.
VSTTE
Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran
2018 J jnl
Sound, complete, and tractable linearizability monitoring for concurrent collections.
Proc. ACM Program. Lang.
Michael Emmi, Constantin Enea
2017 J jnl
Exposing Non-Atomic Methods of Concurrent Objects.
CoRR
Michael Emmi, Constantin Enea
2017 — conf
Proving Linearizability Using Forward Simulations.
CAV (2)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
2017 J jnl
Proving linearizability using forward simulations.
CoRR
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
2017 A conf
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.
ESOP
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
2016 — conf
SMACK software verification toolchain.
ICSE (Companion Volume)
Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
2016 A* conf
Symbolic abstract data type inference.
POPL
Michael Emmi, Constantin Enea
2016 A* conf
Verifying Constant-Time Implementations.
USENIX Security Symposium
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi
2015 A conf
Analysis of Asynchronous Programs with Event-Based Synchronization.
ESOP
Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
2015 — conf
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).
FSTTCS
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 A* conf
Monitoring refinement via symbolic reasoning.
PLDI
Michael Emmi, Constantin Enea, Jad Hamza
2015 — conf
On Reducing Linearizability to State Reachability.
ICALP (2)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 J jnl
On Reducing Linearizability to State Reachability.
CoRR
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 A conf
SMACK+Corral: A Modular Verifier - (Competition Contribution).
TACAS
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
2015 — conf
Systematic Asynchrony Bug Exploration for Android Apps.
CAV (1)
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran
2015 A* conf
Tractable Refinement Checking for Concurrent Objects.
POPL
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2014 J jnl
Bounded phase analysis of message-passing programs.
Int. J. Softw. Tools Technol. Transf.
Ahmed Bouajjani, Michael Emmi
2014 — conf
Exploiting synchronization in the analysis of shared-memory asynchronous programs.
SPIN
Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran
2014 A* conf
SMACK: Decoupling Source Language Details from Verifier Implementations.
CAV
Zvonimir Rakamaric, Michael Emmi
2013 J jnl
Analysis of Recursively Parallel Programs.
ACM Trans. Program. Lang. Syst.
Ahmed Bouajjani, Michael Emmi
2013 A conf
Verifying Concurrent Programs against Sequential Specifications.
ESOP
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2012 A* conf
Analysis of recursively parallel programs.
POPL
Ahmed Bouajjani, Michael Emmi
2012 — conf
Asynchronous programs with prioritized task-buffers.
SIGSOFT FSE
Michael Emmi, Akash Lal, Shaz Qadeer
2012 A conf
Bounded Phase Analysis of Message-Passing Programs.
TACAS
Ahmed Bouajjani, Michael Emmi
2012 A* conf
Detecting Fair Non-termination in Multithreaded Programs.
CAV
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
2012 B conf
Finding Non-terminating Executions in Distributed Asynchronous Programs.
SAS
Michael Emmi, Akash Lal
2011 A* conf
Delay-bounded scheduling.
POPL
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
2011 B conf
On Sequentializing Concurrent Programs.
SAS
Ahmed Bouajjani, Michael Emmi, Gennaro Parlato
2010 A* conf
Parameterized verification of transactional memories.
PLDI
Michael Emmi, Rupak Majumdar, Roman Manevich
2009 A conf
Verifying Reference Counting Implementations.
TACAS
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar
2008 B conf
Assume-Guarantee Verification for Interface Automata.
FM
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu
2008 A* conf
Type-preserving compilation for large-scale optimizing object-oriented compilers.
PLDI
Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis
2007 — conf
Assembling an expressive facial animation system.
Sandbox@SIGGRAPH
Alice Wang, Michael Emmi, Petros Faloutsos
2007 A conf
Dynamic test input generation for database applications.
ISSTA
Michael Emmi, Rupak Majumdar, Koushik Sen
2007 A* conf
Lock allocation.
POPL
Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar
2007 B conf
Verifying Compensating Transactions.
VMCAI
Michael Emmi, Rupak Majumdar
2006 — conf
Decision Problems for the Verification of Real-Time Software.
HSCC
Michael Emmi, Rupak Majumdar