Michael Emmi
Michael Emmi
Amazon Web Services
Adresse e-mail validée de amazon.com - Page d'accueil
Titre
Citée par
Citée par
Année
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2682007
Verifying constant-time implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi
25th {USENIX} Security Symposium ({USENIX} Security 16), 53-70, 2016
2042016
Delay-bounded scheduling
M Emmi, S Qadeer, Z Rakamarić
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011
1602011
Lock allocation
M Emmi, JS Fischer, R Jhala, R Majumdar
ACM SIGPLAN Notices 42 (1), 291-296, 2007
1182007
SMACK: Decoupling source language details from verifier implementations
Z Rakamarić, M Emmi
International Conference on Computer Aided Verification, 106-113, 2014
1142014
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
552007
Analysis of recursively parallel programs
A Bouajjani, M Emmi
ACM Sigplan Notices 47 (1), 203-214, 2012
542012
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
522015
Bounded phase analysis of message-passing programs
A Bouajjani, M Emmi
International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014
482014
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
European Symposium on Programming, 290-309, 2013
452013
On sequentializing concurrent programs
A Bouajjani, M Emmi, G Parlato
International Static Analysis Symposium, 129-145, 2011
422011
Assume-guarantee verification for interface automata
M Emmi, D Giannakopoulou, CS Păsăreanu
International Symposium on Formal Methods, 116-131, 2008
422008
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
392018
SMACK software verification toolchain
M Carter, S He, J Whitaker, Z Rakamaric, M Emmi
2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016
342016
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
Parameterized verification of transactional memories
M Emmi, R Majumdar, R Manevich
ACM Sigplan Notices 45 (6), 134-145, 2010
282010
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
272015
Analysis of recursively parallel programs
A Bouajjani, M Emmi
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013
272013
Verifying reference counting implementations
M Emmi, R Jhala, E Kohler, R Majumdar
International Conference on Tools and Algorithms for the Construction and …, 2009
262009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20