2024 POPL Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs Guannan Wei, Oliver Bračevac, Songlin Jia, Yuyan Bao, and Tiark Rompf Proceedings of the ACM on Programming Languages (PACMPL), (POPL) 2024 Code PDF Link 2023 OOPSLA Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Luke Jiang, Yuyan Bao, and Tiark Rompf Proceedings of the ACM on Programming Languages (PACMPL), (OOPSLA) 2023 Code PDF Slides Video Link Graph IRs for Impure Higher-Order Languages (Technical Report) Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Luke Jiang, Yuyan Bao, and Tiark Rompf CoRR abs/2309.08118 2023 Code arXiv PDF ICSE Compiling Parallel Symbolic Execution with Continuations Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bračevac, and Tiark Rompf In Proceedings of International Conference on Software Engineering (ICSE) 2023 Code PDF Link Modeling Reachability Types with Logical Relations Yuyan Bao, Guannan Wei, Oliver Bračevac, and Tiark Rompf CoRR abs/2309.05885 2023 Code arXiv PDF Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (Extended Version) Guannan Wei, Oliver Bračevac, Songlin Jia, Yuyan Bao, and Tiark Rompf CoRR abs/2307.13844 2023 Code arXiv PDF 2022 ECOOP What If We Don’t Pop the Stack? The Return of 2nd-Class Values Anxhelo Xhebraj, Oliver Bračevac, Guannan Wei, and Tiark Rompf In Proceedings of European Conference on Object-Oriented Programming (ECOOP) 2022 Code PDF Link ECOOP What If We Don’t Pop the Stack? The Return of 2nd-Class Values (Artifact) Anxhelo Xhebraj, Oliver Bračevac, Guannan Wei, and Tiark Rompf Dagstuhl Artifacts Series 8, 2 2022 PDF Link 2021 OOPSLA Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf Proceedings of the ACM on Programming Languages (PACMPL) 5, OOPSLA 2021 Code PDF Slides Video Link LLSC: A Parallel Symbolic Execution Compiler for LLVM IR Guannan Wei, Shangyin Tan, Oliver Bračevac, and Tiark Rompf In Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021 Code PDF Link 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 Slides 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