Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Michael Emmi
@inproceedings{DBLP:conf/sigsoft/BanerjeeCEFHLLP23, author = {Subarno Banerjee and Siwei Cui and Michael Emmi and Antonio Filieri and Liana Hadarean and Peixuan Li and Linghui Luo and Goran Piskachev and Nicol{\'{a}}s Rosner and Aritra Sengupta and Omer Tripp and Jingbo Wang}, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {Compositional Taint Analysis for Enforcing Security Policies at Scale}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {1985--1996}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643.3613889}, doi = {10.1145/3611643.3613889}, timestamp = {Mon, 04 Dec 2023 11:02:39 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BanerjeeCEFHLLP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2023, editor = {Cezara Dragoi and Michael Emmi and Jingbo Wang}, title = {Verification, Model Checking, and Abstract Interpretation - 24th International Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13881}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-24950-1}, doi = {10.1007/978-3-031-24950-1}, isbn = {978-3-031-24949-5}, timestamp = {Mon, 30 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/EmmiHJPRSSV21, author = {Michael Emmi and Liana Hadarean and Ranjit Jhala and Lee Pike and Nicol{\'{a}}s Rosner and Martin Sch{\"{a}}f and Aritra Sengupta and Willem Visser}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, title = {{RAPID:} checking {API} usage for the cloud in the cloud}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, pages = {1416--1426}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468264.3473934}, doi = {10.1145/3468264.3473934}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/EmmiHJPRSSV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/KrishnaEEJ20, author = {Siddharth Krishna and Michael Emmi and Constantin Enea and Dejan Jovanovic}, editor = {Peter M{\"{u}}ller}, title = {Verifying Visibility-Based Weak Consistency}, booktitle = {Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12075}, pages = {280--307}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44914-8\_11}, doi = {10.1007/978-3-030-44914-8\_11}, timestamp = {Wed, 22 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/KrishnaEEJ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/HeEC20, author = {Shaobo He and Michael Emmi and Gabriela F. Ciocarlie}, title = {ct-fuzz: Fuzzing for Timing Leaks}, booktitle = {13th {IEEE} International Conference on Software Testing, Validation and Verification, {ICST} 2020, Porto, Portugal, October 24-28, 2020}, pages = {466--471}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICST46399.2020.00063}, doi = {10.1109/ICST46399.2020.00063}, timestamp = {Wed, 12 Aug 2020 12:51:20 +0200}, biburl = {https://dblp.org/rec/conf/icst/HeEC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/BeillahiCEE20, author = {Sidi Mohamed Beillahi and Gabriela F. Ciocarlie and Michael Emmi and Constantin Enea}, editor = {Alastair F. Donaldson and Emina Torlak}, title = {Behavioral simulation for smart contracts}, booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, {PLDI} 2020, London, UK, June 15-20, 2020}, pages = {470--486}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3385412.3386022}, doi = {10.1145/3385412.3386022}, timestamp = {Tue, 09 Jun 2020 13:45:15 +0200}, biburl = {https://dblp.org/rec/conf/pldi/BeillahiCEE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/EmmiE19, author = {Michael Emmi and Constantin Enea}, title = {Weak-consistency specification via visibility relaxation}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {60:1--60:28}, year = {2019}, url = {https://doi.org/10.1145/3290373}, doi = {10.1145/3290373}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/EmmiE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BiswasEE19, author = {Ranadeep Biswas and Michael Emmi and Constantin Enea}, editor = {Isil Dillig and Serdar Tasiran}, title = {On the Complexity of Checking Consistency for Replicated Data Types}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11562}, pages = {324--343}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25543-5\_19}, doi = {10.1007/978-3-030-25543-5\_19}, timestamp = {Fri, 31 Jan 2020 21:32:18 +0100}, biburl = {https://dblp.org/rec/conf/cav/BiswasEE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/EmmiE19, author = {Michael Emmi and Constantin Enea}, editor = {Isil Dillig and Serdar Tasiran}, title = {Violat: Generating Tests of Observational Refinement for Concurrent Objects}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11562}, pages = {534--546}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25543-5\_30}, doi = {10.1007/978-3-030-25543-5\_30}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/EmmiE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/milcom/AgadakosCCEGLM19, author = {Ioannis Agadakos and Gabriela F. Ciocarlie and Bogdan Copos and Michael Emmi and Jemin George and Nandi Leslie and James Michaelis}, title = {Application of Trust Assessment Techniques to IoBT Systems}, booktitle = {2019 {IEEE} Military Communications Conference, {MILCOM} 2019, Norfolk, VA, USA, November 12-14, 2019}, pages = {833--840}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MILCOM47813.2019.9020774}, doi = {10.1109/MILCOM47813.2019.9020774}, timestamp = {Thu, 19 Mar 2020 08:47:16 +0100}, biburl = {https://dblp.org/rec/conf/milcom/AgadakosCCEGLM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-07280, author = {Shaobo He and Michael Emmi and Gabriela F. Ciocarlie}, title = {ct-fuzz: Fuzzing for Timing Leaks}, journal = {CoRR}, volume = {abs/1904.07280}, year = {2019}, url = {http://arxiv.org/abs/1904.07280}, eprinttype = {arXiv}, eprint = {1904.07280}, timestamp = {Thu, 25 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-07280.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-01508, author = {Siddharth Krishna and Michael Emmi and Constantin Enea and Dejan Jovanovic}, title = {Verifying Visibility-Based Weak Consistency}, journal = {CoRR}, volume = {abs/1911.01508}, year = {2019}, url = {http://arxiv.org/abs/1911.01508}, eprinttype = {arXiv}, eprint = {1911.01508}, timestamp = {Wed, 22 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-01508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BouajjaniEEH18, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza}, title = {On reducing linearizability to state reachability}, journal = {Inf. Comput.}, volume = {261}, pages = {383--400}, year = {2018}, url = {https://doi.org/10.1016/j.ic.2018.02.014}, doi = {10.1016/J.IC.2018.02.014}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BouajjaniEEH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/EmmiE18, author = {Michael Emmi and Constantin Enea}, title = {Sound, complete, and tractable linearizability monitoring for concurrent collections}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{POPL}}, pages = {25:1--25:27}, year = {2018}, url = {https://doi.org/10.1145/3158113}, doi = {10.1145/3158113}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/EmmiE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/EmmiE18, author = {Michael Emmi and Constantin Enea}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Monitoring Weak Consistency}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10981}, pages = {487--506}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96145-3\_26}, doi = {10.1007/978-3-319-96145-3\_26}, timestamp = {Fri, 09 Apr 2021 18:35:27 +0200}, biburl = {https://dblp.org/rec/conf/cav/EmmiE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/AthanasiouCEMST18, author = {Konstantinos Athanasiou and Byron Cook and Michael Emmi and Colm MacC{\'{a}}rthaigh and Daniel Schwartz{-}Narbonne and Serdar Tasiran}, editor = {Ruzica Piskac and Philipp R{\"{u}}mmer}, title = {SideTrail: Verifying Time-Balancing of Cryptosystems}, booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11294}, pages = {215--228}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03592-1\_12}, doi = {10.1007/978-3-030-03592-1\_12}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/vstte/AthanasiouCEMST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BouajjaniEEM17, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Suha Orhun Mutluergil}, editor = {Rupak Majumdar and Viktor Kuncak}, title = {Proving Linearizability Using Forward Simulations}, booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10427}, pages = {542--563}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63390-9\_28}, doi = {10.1007/978-3-319-63390-9\_28}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BouajjaniEEM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BouajjaniEEOT17, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Burcu Kulahcioglu Ozkan and Serdar Tasiran}, editor = {Hongseok Yang}, title = {Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency}, booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10201}, pages = {170--200}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54434-1\_7}, doi = {10.1007/978-3-662-54434-1\_7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/BouajjaniEEOT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BouajjaniEEM17, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Suha Orhun Mutluergil}, title = {Proving linearizability using forward simulations}, journal = {CoRR}, volume = {abs/1702.02705}, year = {2017}, url = {http://arxiv.org/abs/1702.02705}, eprinttype = {arXiv}, eprint = {1702.02705}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BouajjaniEEM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EmmiE17, author = {Michael Emmi and Constantin Enea}, title = {Exposing Non-Atomic Methods of Concurrent Objects}, journal = {CoRR}, volume = {abs/1706.09305}, year = {2017}, url = {http://arxiv.org/abs/1706.09305}, eprinttype = {arXiv}, eprint = {1706.09305}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EmmiE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/CarterHWRE16, author = {Montgomery Carter and Shaobo He and Jonathan Whitaker and Zvonimir Rakamaric and Michael Emmi}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {{SMACK} software verification toolchain}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume}, pages = {589--592}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2889160.2889163}, doi = {10.1145/2889160.2889163}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/CarterHWRE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/EmmiE16, author = {Michael Emmi and Constantin Enea}, editor = {Rastislav Bod{\'{\i}}k and Rupak Majumdar}, title = {Symbolic abstract data type inference}, booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016}, pages = {513--525}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2837614.2837645}, doi = {10.1145/2837614.2837645}, timestamp = {Wed, 23 Jun 2021 15:34:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/EmmiE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/AlmeidaBBDE16, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir and Michael Emmi}, editor = {Thorsten Holz and Stefan Savage}, title = {Verifying Constant-Time Implementations}, booktitle = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX, USA, August 10-12, 2016}, pages = {53--70}, publisher = {{USENIX} Association}, year = {2016}, url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida}, timestamp = {Mon, 01 Feb 2021 08:43:18 +0100}, biburl = {https://dblp.org/rec/conf/uss/AlmeidaBBDE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/OzkanET15, author = {Burcu Kulahcioglu Ozkan and Michael Emmi and Serdar Tasiran}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {Systematic Asynchrony Bug Exploration for Android Apps}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9206}, pages = {455--461}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21690-4\_28}, doi = {10.1007/978-3-319-21690-4\_28}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/OzkanET15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/EmmiGMR15, author = {Michael Emmi and Pierre Ganty and Rupak Majumdar and Fernando Rosa{-}Velardo}, editor = {Jan Vitek}, title = {Analysis of Asynchronous Programs with Event-Based Synchronization}, booktitle = {Programming Languages and Systems - 24th European Symposium on Programming, {ESOP} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9032}, pages = {535--559}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46669-8\_22}, doi = {10.1007/978-3-662-46669-8\_22}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/EmmiGMR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BouajjaniEEH15, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza}, editor = {Prahladh Harsha and G. Ramalingam}, title = {Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)}, booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015, Bangalore, India}, series = {LIPIcs}, volume = {45}, pages = {2--4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.2}, doi = {10.4230/LIPICS.FSTTCS.2015.2}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BouajjaniEEH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BouajjaniEEH15, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza}, editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann}, title = {On Reducing Linearizability to State Reachability}, booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9135}, pages = {95--107}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-47666-6\_8}, doi = {10.1007/978-3-662-47666-6\_8}, timestamp = {Fri, 27 Mar 2020 09:02:59 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BouajjaniEEH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/EmmiEH15, author = {Michael Emmi and Constantin Enea and Jad Hamza}, editor = {David Grove and Stephen M. Blackburn}, title = {Monitoring refinement via symbolic reasoning}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015}, pages = {260--269}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2737924.2737983}, doi = {10.1145/2737924.2737983}, timestamp = {Wed, 23 Jun 2021 16:58:51 +0200}, biburl = {https://dblp.org/rec/conf/pldi/EmmiEH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BouajjaniEEH15, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza}, editor = {Sriram K. Rajamani and David Walker}, title = {Tractable Refinement Checking for Concurrent Objects}, booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015}, pages = {651--662}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2676726.2677002}, doi = {10.1145/2676726.2677002}, timestamp = {Mon, 08 Apr 2024 08:19:10 +0200}, biburl = {https://dblp.org/rec/conf/popl/BouajjaniEEH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HaranCELQR15, author = {Arvind Haran and Montgomery Carter and Michael Emmi and Akash Lal and Shaz Qadeer and Zvonimir Rakamaric}, editor = {Christel Baier and Cesare Tinelli}, title = {SMACK+Corral: {A} Modular Verifier - (Competition Contribution)}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {451--454}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_42}, doi = {10.1007/978-3-662-46681-0\_42}, timestamp = {Sat, 30 Sep 2023 09:57:43 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HaranCELQR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BouajjaniEEH15, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza}, title = {On Reducing Linearizability to State Reachability}, journal = {CoRR}, volume = {abs/1502.06882}, year = {2015}, url = {http://arxiv.org/abs/1502.06882}, eprinttype = {arXiv}, eprint = {1502.06882}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BouajjaniEEH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BouajjaniE14, author = {Ahmed Bouajjani and Michael Emmi}, title = {Bounded phase analysis of message-passing programs}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {16}, number = {2}, pages = {127--146}, year = {2014}, url = {https://doi.org/10.1007/s10009-013-0276-z}, doi = {10.1007/S10009-013-0276-Z}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BouajjaniE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/RakamaricE14, author = {Zvonimir Rakamaric and Michael Emmi}, editor = {Armin Biere and Roderick Bloem}, title = {{SMACK:} Decoupling Source Language Details from Verifier Implementations}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {106--113}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_7}, doi = {10.1007/978-3-319-08867-9\_7}, timestamp = {Mon, 03 Jan 2022 22:13:44 +0100}, biburl = {https://dblp.org/rec/conf/cav/RakamaricE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/EmmiOT14, author = {Michael Emmi and Burcu Kulahcioglu Ozkan and Serdar Tasiran}, editor = {Neha Rungta and Oksana Tkachuk}, title = {Exploiting synchronization in the analysis of shared-memory asynchronous programs}, booktitle = {2014 International Symposium on Model Checking of Software, {SPIN} 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014}, pages = {20--29}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2632362.2632370}, doi = {10.1145/2632362.2632370}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/EmmiOT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BouajjaniE13, author = {Ahmed Bouajjani and Michael Emmi}, title = {Analysis of Recursively Parallel Programs}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {35}, number = {3}, pages = {10:1--10:49}, year = {2013}, url = {https://doi.org/10.1145/2518188}, doi = {10.1145/2518188}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/BouajjaniE13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BouajjaniEEH13, author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza}, editor = {Matthias Felleisen and Philippa Gardner}, title = {Verifying Concurrent Programs against Sequential Specifications}, booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7792}, pages = {290--309}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37036-6\_17}, doi = {10.1007/978-3-642-37036-6\_17}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/BouajjaniEEH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/AtigBEL12, author = {Mohamed Faouzi Atig and Ahmed Bouajjani and Michael Emmi and Akash Lal}, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Detecting Fair Non-termination in Multithreaded Programs}, booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, pages = {210--226}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7\_19}, doi = {10.1007/978-3-642-31424-7\_19}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/AtigBEL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BouajjaniE12, author = {Ahmed Bouajjani and Michael Emmi}, editor = {John Field and Michael Hicks}, title = {Analysis of recursively parallel programs}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012}, pages = {203--214}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2103656.2103681}, doi = {10.1145/2103656.2103681}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/BouajjaniE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/EmmiL12, author = {Michael Emmi and Akash Lal}, editor = {Antoine Min{\'{e}} and David Schmidt}, title = {Finding Non-terminating Executions in Distributed Asynchronous Programs}, booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville, France, September 11-13, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7460}, pages = {439--455}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33125-1\_29}, doi = {10.1007/978-3-642-33125-1\_29}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/EmmiL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/EmmiLQ12, author = {Michael Emmi and Akash Lal and Shaz Qadeer}, editor = {Will Tracz and Martin P. Robillard and Tevfik Bultan}, title = {Asynchronous programs with prioritized task-buffers}, booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012}, pages = {48}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2393596.2393652}, doi = {10.1145/2393596.2393652}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/EmmiLQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BouajjaniE12, author = {Ahmed Bouajjani and Michael Emmi}, editor = {Cormac Flanagan and Barbara K{\"{o}}nig}, title = {Bounded Phase Analysis of Message-Passing Programs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, {TACAS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7214}, pages = {451--465}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28756-5\_31}, doi = {10.1007/978-3-642-28756-5\_31}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BouajjaniE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/EmmiQR11, author = {Michael Emmi and Shaz Qadeer and Zvonimir Rakamaric}, editor = {Thomas Ball and Mooly Sagiv}, title = {Delay-bounded scheduling}, booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011}, pages = {411--422}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1926385.1926432}, doi = {10.1145/1926385.1926432}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/EmmiQR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BouajjaniEP11, author = {Ahmed Bouajjani and Michael Emmi and Gennaro Parlato}, editor = {Eran Yahav}, title = {On Sequentializing Concurrent Programs}, booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice, Italy, September 14-16, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6887}, pages = {129--145}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23702-7\_13}, doi = {10.1007/978-3-642-23702-7\_13}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/BouajjaniEP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/EmmiMM10, author = {Michael Emmi and Rupak Majumdar and Roman Manevich}, editor = {Benjamin G. Zorn and Alexander Aiken}, title = {Parameterized verification of transactional memories}, booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2010, Toronto, Ontario, Canada, June 5-10, 2010}, pages = {134--145}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1806596.1806613}, doi = {10.1145/1806596.1806613}, timestamp = {Tue, 22 Jun 2021 17:10:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/EmmiMM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/EmmiJKM09, author = {Michael Emmi and Ranjit Jhala and Eddie Kohler and Rupak Majumdar}, editor = {Stefan Kowalewski and Anna Philippou}, title = {Verifying Reference Counting Implementations}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, {TACAS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5505}, pages = {352--367}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00768-2\_30}, doi = {10.1007/978-3-642-00768-2\_30}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/EmmiJKM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/EmmiGP08, author = {Michael Emmi and Dimitra Giannakopoulou and Corina S. Pasareanu}, editor = {Jorge Cu{\'{e}}llar and T. S. E. Maibaum and Kaisa Sere}, title = {Assume-Guarantee Verification for Interface Automata}, booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5014}, pages = {116--131}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68237-0\_10}, doi = {10.1007/978-3-540-68237-0\_10}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/EmmiGP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ChenHPECCP08, author = {Juan Chen and Chris Hawblitzel and Frances Perry and Michael Emmi and Jeremy Condit and Derrick Coetzee and Polyvios Pratikakis}, editor = {Rajiv Gupta and Saman P. Amarasinghe}, title = {Type-preserving compilation for large-scale optimizing object-oriented compilers}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008}, pages = {183--192}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1375581.1375604}, doi = {10.1145/1375581.1375604}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ChenHPECCP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/EmmiMS07, author = {Michael Emmi and Rupak Majumdar and Koushik Sen}, editor = {David S. Rosenblum and Sebastian G. Elbaum}, title = {Dynamic test input generation for database applications}, booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007}, pages = {151--162}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1273463.1273484}, doi = {10.1145/1273463.1273484}, timestamp = {Tue, 06 Nov 2018 16:57:30 +0100}, biburl = {https://dblp.org/rec/conf/issta/EmmiMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/EmmiFJM07, author = {Michael Emmi and Jeffrey S. Fischer and Ranjit Jhala and Rupak Majumdar}, editor = {Martin Hofmann and Matthias Felleisen}, title = {Lock allocation}, booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2007, Nice, France, January 17-19, 2007}, pages = {291--296}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1190216.1190260}, doi = {10.1145/1190216.1190260}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/popl/EmmiFJM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/siggraph/WangEF07, author = {Alice Wang and Michael Emmi and Petros Faloutsos}, editor = {Drew Davidson and Alan Heirich and Douglas Thomas}, title = {Assembling an expressive facial animation system}, booktitle = {Proceedings of the 2007 {ACM} {SIGGRAPH} Symposium on Video Games, Sandbox 2007, San Diego, California, USA, August 4-5, 2007}, pages = {21--26}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1274940.1274947}, doi = {10.1145/1274940.1274947}, timestamp = {Tue, 06 Nov 2018 16:59:18 +0100}, biburl = {https://dblp.org/rec/conf/siggraph/WangEF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/EmmiM07, author = {Michael Emmi and Rupak Majumdar}, editor = {Byron Cook and Andreas Podelski}, title = {Verifying Compensating Transactions}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4349}, pages = {29--43}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69738-1\_2}, doi = {10.1007/978-3-540-69738-1\_2}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/EmmiM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/EmmiM06, author = {Michael Emmi and Rupak Majumdar}, editor = {Jo{\~{a}}o P. Hespanha and Ashish Tiwari}, title = {Decision Problems for the Verification of Real-Time Software}, booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop, {HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3927}, pages = {200--211}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11730637\_17}, doi = {10.1007/11730637\_17}, timestamp = {Wed, 30 Aug 2023 16:03:58 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/EmmiM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.