Follow
Michael Emmi
Michael Emmi
Amazon Web Services
Verified email at amazon.com - Homepage
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
3172016
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2832007
Delay-bounded scheduling
M Emmi, S Qadeer, Z Rakamarić
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011
1802011
SMACK: Decoupling source language details from verifier implementations
Z Rakamarić, M Emmi
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1682014
Lock allocation
M Emmi, JS Fischer, R Jhala, R Majumdar
ACM SIGPLAN Notices 42 (1), 291-296, 2007
1242007
Analysis of recursively parallel programs
A Bouajjani, M Emmi
ACM Sigplan Notices 47 (1), 203-214, 2012
612012
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
592015
Bounded phase analysis of message-passing programs
A Bouajjani, M Emmi
International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014
572014
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
572007
SMACK software verification toolchain
M Carter, S He, J Whitaker, Z Rakamarić, M Emmi
Proceedings of the 38th International Conference on Software Engineering …, 2016
552016
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
542013
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
482008
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
462018
On sequentializing concurrent programs
A Bouajjani, M Emmi, G Parlato
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
452011
Detecting fair non-termination in multithreaded programs
MF Atig, A Bouajjani, M Emmi, A Lal
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
382012
Proving linearizability using forward simulations
A Bouajjani, M Emmi, C Enea, SO Mutluergil
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
372017
ct-fuzz: Fuzzing for Timing Leaks
S He, M Emmi, G Ciocarlie
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
362020
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
332015
Decision problems for the verification of real-time software
M Emmi, R Majumdar
International Workshop on Hybrid Systems: Computation and Control, 200-211, 2006
332006
Analysis of recursively parallel programs
A Bouajjani, M Emmi
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013
312013
The system can't perform the operation now. Try again later.
Articles 1–20