Michael Emmi

Cited by

	All	Since 2019
Citations	2228	1079
h-index	25	18
i10-index	36	29

220

110

165

20072008200920102011201220132014201520162017201820192020202120222023202414 31 41 56 61 84 112 122 112 120 185 185 188 207 197 181 155 150

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 QadeerSoftware Engineer, MetaVerified email at meta.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
Burcu Kulahcioglu OzkanDelft University of TechnologyVerified email at tudelft.nl
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

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	346	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	288	2007
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	188	2011
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	186	2014
Lock allocation M Emmi, JS Fischer, R Jhala, R Majumdar ACM SIGPLAN Notices 42 (1), 291-296, 2007	126	2007
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
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016	58	2016
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
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
On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	46	2011
ct-fuzz: Fuzzing for Timing Leaks S He, M Emmi, G Ciocarlie 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020	45	2020
Proving linearizability using forward simulations A Bouajjani, M Emmi, C Enea, SO Mutluergil Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	44	2017
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