Publications

Top publications are highlighted

2020

  1. OOPSLA
    Compiling Symbolic Execution with Staging and Algebraic Effects
    Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf
    Proceedings of the ACM on Programming Languages (PACMPL) 4, OOPSLA 2020

2019

  1. Event Correlation with Algebraic Effects - Theory, Design and Implementation
    Oliver Bračevac
    PhD thesis. Technische Universität Darmstadt, Germany. 2019
  2. Type-safe, Polyvariadic Event Correlation
    Oliver Bračevac, Guido Salvaneschi, Sebastian Erdweg, and Mira Mezini
    CoRR abs/1907.02990 2019

2018

  1. ICFP
    Versatile Event Correlation with Algebraic Effects
    Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
    Proceedings of the ACM on Programming Languages (PACMPL) 2, International Conference on Functional Programming (ICFP) 2018
  2. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties
    Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, and Markus Tasch
    Archive of Formal Proofs 2018

2017

  1. ECOOP
    A Co-contextual Type Checker for Featherweight Java
    Edlira Kuci, Sebastian Erdweg, Oliver Bračevac, Andi Bejleri, and Mira Mezini
    In Proceedings of European Conference on Object-Oriented Programming (ECOOP) 2017
  2. A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
    Edlira Kuci, Sebastian Erdweg, Oliver Bračevac, Andi Bejleri, and Mira Mezini
    CoRR abs/1705.05828 2017

2016

  1. CPL: A Core Language for Cloud Computing
    Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, and Mira Mezini
    In Proceedings of Conference on Modularity (MODULARITY/AOSD) 2016
  2. CPL: A Core Language for Cloud Computing - Technical Report
    Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, and Mira Mezini
    CoRR abs/1602.00981 2016

2015

  1. OOPSLA
    A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
    Sebastian Erdweg, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini
    In Proceedings of Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2015
  2. Temporal Correlation Patterns – Intersecting Joins, Streams, Events and Reactive Programming
    Oliver Bračevac
    In Workshop on Reactive and Event-based Languages & Systems (REBLS) 2015