Verifying {Constant-Time} Implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th USENIX Security Symposium (USENIX Security 16), 53-70, 2016 | 330 | 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 | 286 | 2007 |
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011 | 183 | 2011 |
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 181 | 2014 |
Lock allocation M Emmi, JS Fischer, R Jhala, R Majumdar ACM SIGPLAN Notices 42 (1), 291-296, 2007 | 126 | 2007 |
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 | 59 | 2015 |
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Sigplan Notices 47 (1), 203-214, 2012 | 59 | 2012 |
Bounded phase analysis of message-passing programs A Bouajjani, M Emmi International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014 | 58 | 2014 |
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 |
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016 | 57 | 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 | 53 | 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 | 47 | 2018 |
On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 45 | 2011 |
ct-fuzz: Fuzzing for Timing Leaks S He, M Emmi, G Ciocarlie 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 39 | 2020 |
Proving linearizability using forward simulations A Bouajjani, M Emmi, C Enea, SO Mutluergil Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 39 | 2017 |
Detecting fair non-termination in multithreaded programs MF Atig, A Bouajjani, M Emmi, A Lal Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 38 | 2012 |
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 | 33 | 2015 |
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 |
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013 | 32 | 2013 |