Michael Emmi

Cited by

	All	Since 2016
Citations	1515	855
h-index	22	16
i10-index	28	25

200

100

150

20072008200920102011201220132014201520162017201820192020202115 31 42 61 59 89 110 120 110 117 178 175 181 192 12

Co-authors

Ahmed BouajjaniProfessor Computer Science, University of ParisVerified 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
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.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 DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Burcu Kulahcioglu OzkanDelft University of TechnologyVerified email at tudelft.nl
Gabriela (Cretu) CiocarlieChief Product Officer, Elpha SecureVerified email at cs.columbia.edu
Shaobo HeUniversity of UtahVerified email at cs.utah.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
Roman ManevichFacebookVerified email at fb.com
Arvind HaranSoftware Engineer, IBMVerified email at us.ibm.com
Eddie KohlerMicrosoft Professor of Computer Science, Harvard UniversityVerified email at seas.harvard.edu

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
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007	258	2007
Verifying constant-time implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th {USENIX} Security Symposium ({USENIX} Security 16), 53-70, 2016	160	2016
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	149	2011
Lock allocation M Emmi, JS Fischer, R Jhala, R Majumdar ACM SIGPLAN Notices 42 (1), 291-296, 2007	113	2007
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi International Conference on Computer Aided Verification, 106-113, 2014	98	2014
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	50	2015
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Sigplan Notices 47 (1), 203-214, 2012	50	2012
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	50	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	42	2014
Assume-guarantee verification for interface automata M Emmi, D Giannakopoulou, CS Păsăreanu International Symposium on Formal Methods, 116-131, 2008	42	2008
Verifying concurrent programs against sequential specifications A Bouajjani, M Emmi, C Enea, J Hamza European Symposium on Programming, 290-309, 2013	41	2013
On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato International Static Analysis Symposium, 129-145, 2011	41	2011
On reducing linearizability to state reachability A Bouajjani, M Emmi, C Enea, J Hamza Information and Computation 261, 383-400, 2018	34	2018
Decision problems for the verification of real-time software M Emmi, R Majumdar International Workshop on Hybrid Systems: Computation and Control, 200-211, 2006	34	2006
Detecting fair non-termination in multithreaded programs MF Atig, A Bouajjani, M Emmi, A Lal International Conference on Computer Aided Verification, 210-226, 2012	33	2012
Parameterized verification of transactional memories M Emmi, R Majumdar, R Manevich ACM Sigplan Notices 45 (6), 134-145, 2010	27	2010
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamaric, M Emmi 2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016	26	2016
SMACK+ Corral: a modular verifier A Haran, M Carter, M Emmi, A Lal, S Qadeer, Z Rakamarić International Conference on Tools and Algorithms for the Construction and …, 2015	26	2015
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013	26	2013
Asynchronous programs with prioritized task-buffers M Emmi, A Lal, S Qadeer Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012	25	2012

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

Upload PDF

Follow this author

Cited by

Co-authors