Dr.-Ing. Oliver Bracevac

Software Technology Group


My passion are all aspects of programming languages: design, theory and engineering. Programming languages influence how we think about and build software: they literally enable us to make our ideas a physical reality. I am a strong proponent of applying principled and formal approaches in programming languages research. This is the only way to obtain software that is correct, efficient, reliable and secure.

My PhD thesis is on the foundations of reactive and incremental computations. The goal is to find a common substrate of closely related, yet different paradigms, e.g., (functional) reactive programming, stream processing, event-based languages and message passing systems.

My (non-exhaustive) list of research interests:

  • The fascinating connection between logic(s) and programming languages (Curry-Howard-Isomorphism). For example, deriving types systems from a logic, e.g., to statically ensure liveness properties in reactive programs.
  • Type theory and type systems
    • Recursive and (co)inductive types.
    • Dependent types.
    • Modal types.
    • Effect types.
    • Incremental type checkers.
  • Control abstractions.
    • Continuations and coroutines.
    • Sequent calculi.
  • Functional programming.
  • Category theory.
  • Effects in computation
    • Algebraic effects and handlers.
    • Monads, arrows, idioms.
  • Metaprogramming, staging
  • Extensibility, variability of software components.
  • Concurrent and distributed programming.
    • Actor systems.

I am experienced in a number of OO and functional languages, such as Java, Scala, OCaml and Haskell. Moreover, I worked on verification projects using interactive theorem provers, such as Isabelle/HOL and Coq.

I am always looking for strongly motivated students who are interested in theses/labs/hiwi positions in my areas of interest. Theorists and engineers are both welcome.

Talks and Meetings


Jump to: 2019 | 2018 | 2017 | 2016 | 2015 | 2013
Number of items: 9.


Bračevac, Oliver (2019):
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Darmstadt, Technische Universität,
[Ph.D. Thesis]


Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018):
Versatile Event Correlation with Algebraic Effects. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 2 (ICFP), pp. 1-31. ACM, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014556,

Bračevac, Oliver ; Gay, Richard ; Grewe, Sylvia ; Mantel, Heiko ; Sudbrock, Henning ; Tasch, Markus (2018):
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018, [Article]


Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: Leibniz International Proceedings in Informatics (LIPIcs), 74, In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Book Section]


Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing.
In: MODULARITY 2016, In: Proceedings of the 15th International Conference on Modularity, pp. 94-105, New York, NY, USA, ACM, ISBN 978-1-4503-3995-7,
[Book Section]

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing -- Technical Report.
In: ArXiv-CoRR, (Preprint), [Article]


Bračevac, Oliver (2015):
Temporal Correlation Patterns -- Intersecting Joins, Streams, Events and Reactive Programming.
Workshop on Reactive and Event-based Languages & Systems co-located with SPLASH '15, 27 Oct 2015, [Conference or Workshop Item]

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book Section]


Bračevac, Oliver (2013):
A Formal Model for Event Correlation in Information Flow Processing.
TU Darmstadt, [Master Thesis]

This list was generated on Mon Jul 26 02:52:20 2021 CEST.