2020 OOPSLA Compiling Symbolic Execution with Staging and Algebraic Effects Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf Proceedings of the ACM on Programming Languages (PACMPL) 4, OOPSLA 2020 Code PDF Link 2019 Event Correlation with Algebraic Effects - Theory, Design and Implementation Oliver Bračevac PhD thesis. Technische Universität Darmstadt, Germany. 2019 Code PDF Link Type-safe, Polyvariadic Event Correlation Oliver Bračevac, Guido Salvaneschi, Sebastian Erdweg, and Mira Mezini CoRR abs/1907.02990 2019 Code arXiv PDF 2018 ICFP Versatile Event Correlation with Algebraic Effects Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini Proceedings of the ACM on Programming Languages (PACMPL) 2, International Conference on Functional Programming (ICFP) 2018 Code PDF Slides Link An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, and Markus Tasch Archive of Formal Proofs 2018 Link 2017 ECOOP A Co-contextual Type Checker for Featherweight Java Edlira Kuci, Sebastian Erdweg, Oliver Bračevac, Andi Bejleri, and Mira Mezini In Proceedings of European Conference on Object-Oriented Programming (ECOOP) 2017 Code PDF Link A Co-contextual Type Checker for Featherweight Java (incl. Proofs) Edlira Kuci, Sebastian Erdweg, Oliver Bračevac, Andi Bejleri, and Mira Mezini CoRR abs/1705.05828 2017 arXiv PDF 2016 CPL: A Core Language for Cloud Computing Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, and Mira Mezini In Proceedings of Conference on Modularity (MODULARITY/AOSD) 2016 Code PDF Slides Link CPL: A Core Language for Cloud Computing - Technical Report Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, and Mira Mezini CoRR abs/1602.00981 2016 Code arXiv PDF 2015 OOPSLA A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking Sebastian Erdweg, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini In Proceedings of Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2015 Code PDF Link Temporal Correlation Patterns – Intersecting Joins, Streams, Events and Reactive Programming Oliver Bračevac In Workshop on Reactive and Event-based Languages & Systems (REBLS) 2015 PDF Slides Link