Oliver Bracevac

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 18

Top Topics

Technical Report

Symbolic Execution

Higher Order Relations

Functional Programs

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages (Technical Report). CoRR (2023)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
Compiling Parallel Symbolic Execution with Continuations. ICSE (2023)
Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf
Modeling Reachability Types with Logical Relations. CoRR (2023)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. CoRR (2023)
Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
What If We Don't Pop the Stack? The Return of 2nd-Class Values. ECOOP (2022)
Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf
LLSC: a parallel symbolic execution compiler for LLVM IR. ESEC/SIGSOFT FSE (2021)
Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf
Reachability types: tracking aliasing and separation in higher-order functional programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf
Compiling symbolic execution with staging and algebraic effects. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
Type-safe, Polyvariadic Event Correlation. CoRR (2019)
Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Arch. Formal Proofs 2018 (2018)
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
A Co-contextual Type Checker for Featherweight Java (incl. Proofs). CoRR (2017)
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
A Co-contextual Type Checker for Featherweight Java . ECOOP (2017)
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
CPL: A Core Language for Cloud Computing - Technical Report. CoRR (2016)
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
CPL: a core language for cloud computing. MODULARITY (2016)
Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
A co-contextual formulation of type rules and its application to incremental type checking. OOPSLA (2015)