Michael Emmi

Cited by

	All	Since 2020
Citations	2264	928
h-index	25	15
i10-index	36	25

220

110

165

200720082009201020112012201320142015201620172018201920202021202220232024202514 31 41 56 61 84 112 122 112 120 186 185 188 207 197 181 157 166 20

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

Co-authors

Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Zvonimir RakamaricAmazon Web Services (AWS)Verified email at amazon.com
Jad HamzaLARA, EPFLVerified email at epfl.ch
Shaz QadeerMicrosoftVerified email at microsoft.com
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Gabriela (Cretu) CiocarlieAssociate Professor at The University of Texas at San AntonioVerified email at cs.columbia.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
François DupressoirAssociate Professor in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Shaobo HeAmazon Web ServicesVerified email at cs.utah.edu
Eddie KohlerMicrosoft Professor of Computer Science, Harvard UniversityVerified email at seas.harvard.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerified email at unimol.it
SUHA ORHUN MutluergilSabanci UniversityVerified email at ku.edu.tr
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Arvind HaranSoftware Engineer, IBMVerified email at us.ibm.com
Roman ManevichArmVerified email at arm.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com

Michael Emmi

Amazon Web Services

Verified email at amazon.com - Homepage

Formal Methods Software Verification Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Verifying {Constant-Time} Implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th USENIX Security Symposium (USENIX Security 16), 53-70, 2016	358	2016
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007	290	2007
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	190	2014
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	189	2011
Lock allocation M Emmi, JS Fischer, R Jhala, R Majumdar ACM SIGPLAN Notices 42 (1), 291-296, 2007	126	2007
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016	61	2016
Assembling an expressive facial animation system A Wang, M Emmi, P Faloutsos Proceedings of the 2007 ACM SIGGRAPH symposium on Video games, 21-26, 2007	60	2007
Tractable refinement checking for concurrent objects A Bouajjani, M Emmi, C Enea, J Hamza Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	59	2015
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Sigplan Notices 47 (1), 203-214, 2012	59	2012
Bounded phase analysis of message-passing programs A Bouajjani, M Emmi International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014	58	2014
Verifying concurrent programs against sequential specifications A Bouajjani, M Emmi, C Enea, J Hamza Programming Languages and Systems: 22nd European Symposium on Programming …, 2013	54	2013
ct-fuzz: Fuzzing for Timing Leaks S He, M Emmi, G Ciocarlie 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020	48	2020
Assume-guarantee verification for interface automata M Emmi, D Giannakopoulou, CS Păsăreanu FM 2008: Formal Methods: 15th International Symposium on Formal Methods …, 2008	48	2008
On reducing linearizability to state reachability A Bouajjani, M Emmi, C Enea, J Hamza Information and Computation 261, 383-400, 2018	47	2018
Proving linearizability using forward simulations A Bouajjani, M Emmi, C Enea, SO Mutluergil Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	46	2017
On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	46	2011
Detecting fair non-termination in multithreaded programs MF Atig, A Bouajjani, M Emmi, A Lal Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	38	2012
SMACK+ Corral: A Modular Verifier: (Competition Contribution) A Haran, M Carter, M Emmi, A Lal, S Qadeer, Z Rakamarić Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	33	2015
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013	33	2013
Verifying reference counting implementations M Emmi, R Jhala, E Kohler, R Majumdar International Conference on Tools and Algorithms for the Construction and …, 2009	33	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors