Dr. Oliver Bračevac
Compiler Engineer • Programming Languages Researcher • Scala Contributor

I am working on Scala 3, particularly practical and ergonomic effect systems.
I lead the compiler team of Martin Odersky’s EPFL LAMP lab and serve on Scala’s core team.
My general interests are programming languages, compilers, formal methods, and formal verification. More details are available in my (somewhat outdated) research statement:
[Research Statement] [Teaching Statement]
Previously, I worked with Galois, Inc. on DARPA projects, including user-friendly verification tools for C (PROVERS) and memory-safe imperative functional programming languages (V-SPELLS).
Before that, I was a postdoc at Purdue, PurPL, working with Tiark Rompf on Scala LMS, high-performance symbolic execution, and ownership type systems for Scala-like languages.
I earned my PhD from TU Darmstadt under the guidance of Mira Mezini, researching effect handlers for reactive and stream-based systems.
Earlier in my career, I worked as a systems and software engineer in the IT/telco industry.
News
Apr 14, 2025 | I’m organizing Scala’25. Consider submitting a talk proposal! |
---|
Selected Publications
- POPLPolymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
- OOPSLAGraph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
- ICSECompiling Parallel Symbolic Execution with Continuations
- ECOOPWhat If We Don’t Pop the Stack? The Return of 2nd-Class Values
- OOPSLACompiling Symbolic Execution with Staging and Algebraic Effects
- ICFPVersatile Event Correlation with Algebraic Effects
- OOPSLAA Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking