Michael Emmi

Cited by

	All	Since 2018
Citations	2064	1102
h-index	25	18
i10-index	35	28

220

110

165

2007200820092010201120122013201420152016201720182019202020212022202314 32 41 57 63 85 109 121 113 117 183 184 186 204 197 187 143

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 RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Jad HamzaLARA, EPFLVerified email at epfl.ch
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Shaz QadeerSoftware Engineer, MetaVerified email at fb.com
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
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 DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Gabriela (Cretu) CiocarlieAssociate Professor at The University of Texas at San AntonioVerified email at cs.columbia.edu
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 ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Arvind HaranSoftware Engineer, IBMVerified email at us.ibm.com
SUHA ORHUN MutluergilSabanci UniversityVerified email at ku.edu.tr

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	302	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	282	2007
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	180	2011
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	163	2014
Lock allocation M Emmi, JS Fischer, R Jhala, R Majumdar ACM SIGPLAN Notices 42 (1), 291-296, 2007	126	2007
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Sigplan Notices 47 (1), 203-214, 2012	61	2012
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	58	2015
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	58	2007
Bounded phase analysis of message-passing programs A Bouajjani, M Emmi International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014	57	2014
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016	55	2016
Verifying concurrent programs against sequential specifications A Bouajjani, M Emmi, C Enea, J Hamza Programming Languages and Systems: 22nd European Symposium on Programming …, 2013	50	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	45	2018
On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	45	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	36	2012
Decision problems for the verification of real-time software M Emmi, R Majumdar International Workshop on Hybrid Systems: Computation and Control, 200-211, 2006	33	2006
ct-fuzz: Fuzzing for Timing Leaks S He, M Emmi, G Ciocarlie 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020	32	2020
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	32	2015
Proving linearizability using forward simulations A Bouajjani, M Emmi, C Enea, SO Mutluergil Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	31	2017
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013	31	2013

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