default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Emmi

> Home > Persons

Person information

affiliation: University of California, Los Angeles, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BanerjeeCEFHLLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BanerjeeCEFHLLP23
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:
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE 2023: 1985-1996
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2023
Cezara Dragoi, Michael Emmi, Jingbo Wang:
Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13881, Springer 2023, ISBN 978-3-031-24949-5 [contents]
2021
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/EmmiHJPRSSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/EmmiHJPRSSV21
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE 2021: 1416-1426
2020
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KrishnaEEJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KrishnaEEJ20
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic:
Verifying Visibility-Based Weak Consistency. ESOP 2020: 280-307
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HeEC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HeEC20
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie:
ct-fuzz: Fuzzing for Timing Leaks. ICST 2020: 466-471
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BeillahiCEE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BeillahiCEE20
Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea:
Behavioral simulation for smart contracts. PLDI 2020: 470-486

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/EmmiE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/EmmiE19
Michael Emmi, Constantin Enea:
Weak-consistency specification via visibility relaxation. Proc. ACM Program. Lang. 3(POPL): 60:1-60:28 (2019)
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BiswasEE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BiswasEE19
Ranadeep Biswas, Michael Emmi, Constantin Enea:
On the Complexity of Checking Consistency for Replicated Data Types. CAV (2) 2019: 324-343
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/EmmiE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/EmmiE19
Michael Emmi, Constantin Enea:
Violat: Generating Tests of Observational Refinement for Concurrent Objects. CAV (2) 2019: 534-546
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/milcom/AgadakosCCEGLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/milcom/AgadakosCCEGLM19
Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Michael Emmi, Jemin George, Nandi Leslie, James Michaelis:
Application of Trust Assessment Techniques to IoBT Systems. MILCOM 2019: 833-840
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07280
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07280
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie:
ct-fuzz: Fuzzing for Timing Leaks. CoRR abs/1904.07280 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-01508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-01508
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic:
Verifying Visibility-Based Weak Consistency. CoRR abs/1911.01508 (2019)
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BouajjaniEEH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BouajjaniEEH18
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza:
On reducing linearizability to state reachability. Inf. Comput. 261: 383-400 (2018)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/EmmiE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/EmmiE18
Michael Emmi, Constantin Enea:
Sound, complete, and tractable linearizability monitoring for concurrent collections. Proc. ACM Program. Lang. 2(POPL): 25:1-25:27 (2018)
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/EmmiE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/EmmiE18
Michael Emmi, Constantin Enea:
Monitoring Weak Consistency. CAV (1) 2018: 487-506
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AthanasiouCEMST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AthanasiouCEMST18
Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran:
SideTrail: Verifying Time-Balancing of Cryptosystems. VSTTE 2018: 215-228
2017
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BouajjaniEEM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BouajjaniEEM17
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil:
Proving Linearizability Using Forward Simulations. CAV (2) 2017: 542-563
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BouajjaniEEOT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BouajjaniEEOT17
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran:
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. ESOP 2017: 170-200
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BouajjaniEEM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouajjaniEEM17
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil:
Proving linearizability using forward simulations. CoRR abs/1702.02705 (2017)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EmmiE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EmmiE17
Michael Emmi, Constantin Enea:
Exposing Non-Atomic Methods of Concurrent Objects. CoRR abs/1706.09305 (2017)
2016
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarterHWRE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarterHWRE16
Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi:
SMACK software verification toolchain. ICSE (Companion Volume) 2016: 589-592
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/EmmiE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/EmmiE16
Michael Emmi, Constantin Enea:
Symbolic abstract data type inference. POPL 2016: 513-525
[c27]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/AlmeidaBBDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/AlmeidaBBDE16
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi:
Verifying Constant-Time Implementations. USENIX Security Symposium 2016: 53-70
2015
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/OzkanET15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/OzkanET15
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran:
Systematic Asynchrony Bug Exploration for Android Apps. CAV (1) 2015: 455-461
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/EmmiGMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/EmmiGMR15
Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo:
Analysis of Asynchronous Programs with Event-Based Synchronization. ESOP 2015: 535-559
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BouajjaniEEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BouajjaniEEH15
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza:
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). FSTTCS 2015: 2-4
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BouajjaniEEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BouajjaniEEH15
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza:
On Reducing Linearizability to State Reachability. ICALP (2) 2015: 95-107
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/EmmiEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/EmmiEH15
Michael Emmi, Constantin Enea, Jad Hamza:
Monitoring refinement via symbolic reasoning. PLDI 2015: 260-269
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BouajjaniEEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BouajjaniEEH15
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza:
Tractable Refinement Checking for Concurrent Objects. POPL 2015: 651-662
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HaranCELQR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HaranCELQR15
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric:
SMACK+Corral: A Modular Verifier - (Competition Contribution). TACAS 2015: 451-454
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BouajjaniEEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouajjaniEEH15
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza:
On Reducing Linearizability to State Reachability. CoRR abs/1502.06882 (2015)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BouajjaniE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BouajjaniE14
Ahmed Bouajjani, Michael Emmi:
Bounded phase analysis of message-passing programs. Int. J. Softw. Tools Technol. Transf. 16(2): 127-146 (2014)
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/RakamaricE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RakamaricE14
Zvonimir Rakamaric, Michael Emmi:
SMACK: Decoupling Source Language Details from Verifier Implementations. CAV 2014: 106-113
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EmmiOT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EmmiOT14
Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran:
Exploiting synchronization in the analysis of shared-memory asynchronous programs. SPIN 2014: 20-29
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BouajjaniE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BouajjaniE13
Ahmed Bouajjani, Michael Emmi:
Analysis of Recursively Parallel Programs. ACM Trans. Program. Lang. Syst. 35(3): 10:1-10:49 (2013)
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BouajjaniEEH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BouajjaniEEH13
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza:
Verifying Concurrent Programs against Sequential Specifications. ESOP 2013: 290-309
2012
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AtigBEL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AtigBEL12
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal:
Detecting Fair Non-termination in Multithreaded Programs. CAV 2012: 210-226
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BouajjaniE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BouajjaniE12
Ahmed Bouajjani, Michael Emmi:
Analysis of recursively parallel programs. POPL 2012: 203-214
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/EmmiL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/EmmiL12
Michael Emmi, Akash Lal:
Finding Non-terminating Executions in Distributed Asynchronous Programs. SAS 2012: 439-455
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/EmmiLQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/EmmiLQ12
Michael Emmi, Akash Lal, Shaz Qadeer:
Asynchronous programs with prioritized task-buffers. SIGSOFT FSE 2012: 48
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BouajjaniE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BouajjaniE12
Ahmed Bouajjani, Michael Emmi:
Bounded Phase Analysis of Message-Passing Programs. TACAS 2012: 451-465
2011
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/EmmiQR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/EmmiQR11
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric:
Delay-bounded scheduling. POPL 2011: 411-422
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BouajjaniEP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BouajjaniEP11
Ahmed Bouajjani, Michael Emmi, Gennaro Parlato:
On Sequentializing Concurrent Programs. SAS 2011: 129-145
2010
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/EmmiMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/EmmiMM10
Michael Emmi, Rupak Majumdar, Roman Manevich:
Parameterized verification of transactional memories. PLDI 2010: 134-145

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/EmmiJKM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EmmiJKM09
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar:
Verifying Reference Counting Implementations. TACAS 2009: 352-367
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/EmmiGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/EmmiGP08
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChenHPECCP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChenHPECCP08
Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis:
Type-preserving compilation for large-scale optimizing object-oriented compilers. PLDI 2008: 183-192
2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/EmmiMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/EmmiMS07
Michael Emmi, Rupak Majumdar, Koushik Sen:
Dynamic test input generation for database applications. ISSTA 2007: 151-162
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/EmmiFJM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/EmmiFJM07
Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar:
Lock allocation. POPL 2007: 291-296
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/siggraph/WangEF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/siggraph/WangEF07
Alice Wang, Michael Emmi, Petros Faloutsos:
Assembling an expressive facial animation system. Sandbox@SIGGRAPH 2007: 21-26
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/EmmiM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/EmmiM07
Michael Emmi, Rupak Majumdar:
Verifying Compensating Transactions. VMCAI 2007: 29-43
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/EmmiM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/EmmiM06
Michael Emmi, Rupak Majumdar:
Decision Problems for the Verification of Real-Time Software. HSCC 2006: 200-211

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.