Michael Emmi
Michael Emmi
Amazon Web Services
Verified email at amazon.com - Homepage
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
2622007
Verifying constant-time implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi
25th {USENIX} Security Symposium ({USENIX} Security 16), 53-70, 2016
1742016
Delay-bounded scheduling
M Emmi, S Qadeer, Z Rakamarić
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011
1512011
Lock allocation
M Emmi, JS Fischer, R Jhala, R Majumdar
ACM SIGPLAN Notices 42 (1), 291-296, 2007
1132007
SMACK: Decoupling source language details from verifier implementations
Z Rakamarić, M Emmi
International Conference on Computer Aided Verification, 106-113, 2014
1052014
Analysis of recursively parallel programs
A Bouajjani, M Emmi
ACM Sigplan Notices 47 (1), 203-214, 2012
522012
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
512015
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
512007
Bounded phase analysis of message-passing programs
A Bouajjani, M Emmi
International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014
442014
Assume-guarantee verification for interface automata
M Emmi, D Giannakopoulou, CS Păsăreanu
International Symposium on Formal Methods, 116-131, 2008
422008
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
European Symposium on Programming, 290-309, 2013
412013
On sequentializing concurrent programs
A Bouajjani, M Emmi, G Parlato
International Static Analysis Symposium, 129-145, 2011
412011
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
362018
Decision problems for the verification of real-time software
M Emmi, R Majumdar
International Workshop on Hybrid Systems: Computation and Control, 200-211, 2006
342006
Detecting fair non-termination in multithreaded programs
MF Atig, A Bouajjani, M Emmi, A Lal
International Conference on Computer Aided Verification, 210-226, 2012
332012
SMACK software verification toolchain
M Carter, S He, J Whitaker, Z Rakamaric, M Emmi
2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016
282016
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
282015
Parameterized verification of transactional memories
M Emmi, R Majumdar, R Manevich
ACM Sigplan Notices 45 (6), 134-145, 2010
272010
Analysis of recursively parallel programs
A Bouajjani, M Emmi
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013
262013
Asynchronous programs with prioritized task-buffers
M Emmi, A Lal, S Qadeer
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
252012
The system can't perform the operation now. Try again later.
Articles 1–20