A co-contextual formulation of type rules and its application to incremental type checking. - Sebastian Erdweg; Oliver Bracevac; Edlira Kuci; Matthias Krebs; Mira Mezini (OOPSLA, 2015)

CPL: a core language for cloud computing. - Oliver Bracevac; Sebastian Erdweg; Guido Salvaneschi; Mira Mezini (MODULARITY, 2016)

CPL: A Core Language for Cloud Computing - Technical Report. - Oliver Bracevac; Sebastian Erdweg; Guido Salvaneschi; Mira Mezini (CoRR, 2016)

A Co-contextual Type Checker for Featherweight Java . - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (ECOOP, 2017)

A Co-contextual Type Checker for Featherweight Java (incl. Proofs). - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (CoRR, 2017)

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. - Oliver Bracevac; Richard Gay; Sylvia Grewe; Heiko Mantel; Henning Sudbrock; Markus Tasch (Arch. Formal Proofs, 2018)

Versatile event correlation with algebraic effects. - Oliver Bracevac; Nada Amin; Guido Salvaneschi; Sebastian Erdweg; Patrick Eugster; Mira Mezini (Proc. ACM Program. Lang., 2018)

Type-safe, Polyvariadic Event Correlation. - Oliver Bracevac; Guido Salvaneschi; Sebastian Erdweg; Mira Mezini (CoRR, 2019)

Event Correlation with Algebraic Effects - Theory, Design and Implementation - Oliver Bracevac (2019)

Compiling symbolic execution with staging and algebraic effects. - Guannan Wei 001; Oliver Bracevac; Shangyin Tan; Tiark Rompf (Proc. ACM Program. Lang., 2020)

LLSC: a parallel symbolic execution compiler for LLVM IR. - Guannan Wei 001; Shangyin Tan; Oliver Bracevac; Tiark Rompf (ESEC/SIGSOFT FSE, 2021)

Reachability types: tracking aliasing and separation in higher-order functional programs. - Yuyan Bao; Guannan Wei 001; Oliver Bracevac; Yuxuan Jiang 006; Qiyang He; Tiark Rompf (Proc. ACM Program. Lang., 2021)

What If We Don't Pop the Stack? The Return of 2nd-Class Values. - Anxhelo Xhebraj; Oliver Bracevac; Guannan Wei 001; Tiark Rompf (ECOOP, 2022)

What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact). - Anxhelo Xhebraj; Oliver Bracevac; Guannan Wei 001; Tiark Rompf (Dagstuhl Artifacts Ser., 2022)

Compiling Parallel Symbolic Execution with Continuations. - Guannan Wei 001; Songlin Jia; Ruiqi Gao; Haotian Deng 001; Shangyin Tan; Oliver Bracevac; Tiark Rompf (ICSE, 2023)

Modeling Reachability Types with Logical Relations. - Yuyan Bao; Guannan Wei 001; Oliver Bracevac; Tiark Rompf (CoRR, 2023)

Graph IRs for Impure Higher-Order Languages (Technical Report). - Oliver Bracevac; Guannan Wei 001; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang 006; Yuyan Bao; Tiark Rompf (CoRR, 2023)

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. - Oliver Bracevac; Guannan Wei 001; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang 006; Yuyan Bao; Tiark Rompf (Proc. ACM Program. Lang., 2023)

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. - Guannan Wei 001; Oliver Bracevac; Songlin Jia; Yuyan Bao; Tiark Rompf (Proc. ACM Program. Lang., 2024)