Michael Emmi

According to our database, Michael Emmi authored at least 44 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Compositional Taint Analysis for Enforcing Security Policies at Scale.

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

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2021

RAPID: checking API usage for the cloud in the cloud.

Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Behavioral simulation for smart contracts.

Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

ct-fuzz: Fuzzing for Timing Leaks.

Shaobo He, Michael Emmi, Gabriela F. Ciocarlie

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Verifying Visibility-Based Weak Consistency.

Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic

Proceedings of the Programming Languages and Systems, 2020

2019

Weak-consistency specification via visibility relaxation.

Michael Emmi, Constantin Enea

Proc. ACM Program. Lang., 2019

Application of Trust Assessment Techniques to IoBT Systems.

Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Michael Emmi, Jemin George, Nandi Leslie, James Michaelis

Proceedings of the 2019 IEEE Military Communications Conference, 2019

Violat: Generating Tests of Observational Refinement for Concurrent Objects.

Michael Emmi, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

On the Complexity of Checking Consistency for Replicated Data Types.

Ranadeep Biswas, Michael Emmi, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Sound, complete, and tractable linearizability monitoring for concurrent collections.

Michael Emmi, Constantin Enea

Proc. ACM Program. Lang., 2018

On reducing linearizability to state reachability.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Inf. Comput., 2018

SideTrail: Verifying Time-Balancing of Cryptosystems.

Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Monitoring Weak Consistency.

Michael Emmi, Constantin Enea

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Exposing Non-Atomic Methods of Concurrent Objects.

Michael Emmi, Constantin Enea

CoRR, 2017

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Proceedings of the Programming Languages and Systems, 2017

Proving Linearizability Using Forward Simulations.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Verifying Constant-Time Implementations.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi

Proceedings of the 25th USENIX Security Symposium, 2016

Symbolic abstract data type inference.

Michael Emmi, Constantin Enea

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

SMACK software verification toolchain.

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

SMACK+Corral: A Modular Verifier - (Competition Contribution).

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Tractable Refinement Checking for Concurrent Objects.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Monitoring refinement via symbolic reasoning.

Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Analysis of Asynchronous Programs with Event-Based Synchronization.

Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo

Proceedings of the Programming Languages and Systems, 2015

Systematic Asynchrony Bug Exploration for Android Apps.

Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Bounded phase analysis of message-passing programs.

Ahmed Bouajjani, Michael Emmi

Int. J. Softw. Tools Technol. Transf., 2014

Exploiting synchronization in the analysis of shared-memory asynchronous programs.

Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

SMACK: Decoupling Source Language Details from Verifier Implementations.

Zvonimir Rakamaric, Michael Emmi

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Analysis of Recursively Parallel Programs.

Ahmed Bouajjani, Michael Emmi

ACM Trans. Program. Lang. Syst., 2013

Verifying Concurrent Programs against Sequential Specifications.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the Programming Languages and Systems, 2013

2012

Asynchronous programs with prioritized task-buffers.

Michael Emmi, Akash Lal, Shaz Qadeer

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Finding Non-terminating Executions in Distributed Asynchronous Programs.

Michael Emmi, Akash Lal

Proceedings of the Static Analysis - 19th International Symposium, 2012

Detecting Fair Non-termination in Multithreaded Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

On Sequentializing Concurrent Programs.

Ahmed Bouajjani, Michael Emmi, Gennaro Parlato

Proceedings of the Static Analysis - 18th International Symposium, 2011

Delay-bounded scheduling.

Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Parameterized verification of transactional memories.

Michael Emmi, Rupak Majumdar, Roman Manevich

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

Verifying Reference Counting Implementations.

Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Type-preserving compilation for large-scale optimizing object-oriented compilers.

Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Assume-Guarantee Verification for Interface Automata.

Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the FM 2008: Formal Methods, 2008

2007

Verifying Compensating Transactions.

Michael Emmi, Rupak Majumdar

Proceedings of the Verification, 2007

Assembling an expressive facial animation system.

Alice Wang, Michael Emmi, Petros Faloutsos

Proceedings of the 2007 ACM SIGGRAPH Symposium on Video Games, Sandbox 2007, 2007

Lock allocation.

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Dynamic test input generation for database applications.

Michael Emmi, Rupak Majumdar, Koushik Sen

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

2006

Decision Problems for the Verification of Real-Time Software.

Michael Emmi, Rupak Majumdar

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006