Oliver Bracevac

According to our database, Oliver Bracevac authored at least 19 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.

Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., January, 2024

2023

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., October, 2023

Graph IRs for Impure Higher-Order Languages (Technical Report).

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

CoRR, 2023

Modeling Reachability Types with Logical Relations.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf

CoRR, 2023

Compiling Parallel Symbolic Execution with Continuations.

Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact).

Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf

Dagstuhl Artifacts Ser., 2022

What If We Don't Pop the Stack? The Return of 2nd-Class Values.

Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Reachability types: tracking aliasing and separation in higher-order functional programs.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf

Proc. ACM Program. Lang., 2021

LLSC: a parallel symbolic execution compiler for LLVM IR.

Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Compiling symbolic execution with staging and algebraic effects.

Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf

Proc. ACM Program. Lang., 2020

2019

Event Correlation with Algebraic Effects - Theory, Design and Implementation

Oliver Bracevac

PhD thesis, 2019

Type-safe, Polyvariadic Event Correlation.

Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini

CoRR, 2019

2018

Versatile event correlation with algebraic effects.

Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini

Proc. ACM Program. Lang., 2018

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

2017

A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

CoRR, 2017

A Co-contextual Type Checker for Featherweight Java .

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

CPL: A Core Language for Cloud Computing - Technical Report.

Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini

CoRR, 2016

CPL: a core language for cloud computing.

Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini

Proceedings of the 15th International Conference on Modularity, 2016

2015

A co-contextual formulation of type rules and its application to incremental type checking.

Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015