Publications

Top-venue publications are highlighted

2025

  1. OOPSLA
    What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures
    Yichen Xu, Oliver Bračevac, Nguyen Pham, and Martin Odersky
    Proceedings of the ACM on Programming Languages (PACMPL), (OOPSLA) 2025
    Code PDF Link
  2. OOPSLA
    Artifact for "What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures"
    Yichen Xu, Oliver Bračevac, Cao Nguyen Pham, and Martin Odersky
    2025
    Link
  3. What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
    Yichen Xu, Oliver Bračevac, Cao Nguyen Pham, and Martin Odersky
    2025
    Code arXiv PDF
  4. System Capybara: Capture Checking for Ownership and Borrowing
    Yichen Xu, Oliver Bračevac, and Martin Odersky
    2025  Talk at the Scala Workshop, Singapore
    PDF
  5. OOPSLA
    Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory
    Yuyan Bao, Songlin Jia, Guannan Wei, Oliver Bračevac, and Tiark Rompf
    Proceedings of the ACM on Programming Languages (PACMPL), (OOPSLA) 2025
    Code PDF Link

2024

  1. 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

  1. 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
  2. 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
  3. 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
  4. Modeling Reachability Types with Logical Relations
    Yuyan Bao, Guannan Wei, Oliver Bračevac, and Tiark Rompf
    CoRR abs/2309.05885 2023
    Code arXiv PDF
  5. 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

  1. 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
  2. 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

  1. 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
  2. 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

  1. 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

  1. Event Correlation with Algebraic Effects - Theory, Design and Implementation
    Oliver Bračevac
    PhD thesis. Technische Universität Darmstadt, Germany. 2019
    Code PDF Slides Link
  2. Type-safe, Polyvariadic Event Correlation
    Oliver Bračevac, Guido Salvaneschi, Sebastian Erdweg, and Mira Mezini
    CoRR abs/1907.02990 2019
    Code arXiv PDF

2018

  1. 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
  2. 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

  1. 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
  2. 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

  1. 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
  2. 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

  1. 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
  2. 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