index

Oliver Bračevac, M.Sc.

I am passionate about programming languages and their formal study. That is, the design of novel language abstractions, type systems and formal reasoning about their properties. On the practical side, I am interested in systematic methods for deriving efficient interpreter and compiler implementations from formal language specifications.

My PhD thesis topic 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 research spans a broad range of subjects. The following is a (non-exhaustive) list of examples:

  • The 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.
  • Design, theory and implementation of type systems.
  • Programming language concepts.
    • Continuations, coroutines.
  • Functional programming.
    • Algebraic effects and handlers.
  • Category theory.
  • Extensibility, variability of software components.
  • Concurrent and distributed programming.
    • Actor systems.

I offer thesis topics/labs/hiwi positions for strongly motivated students in any of these areas. Theorists and engineers are both welcome.

My programming language of choice is Scala, my theorem prover of choice is Coq.

Publications

Group by: Date | Item type | No grouping
Jump to: 2017 | 2016 | 2015 | 2013
Number of items: 6.

2017

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira :
A Co-contextual Type Checker for Featherweight Java.
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262]
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), 74. , 18:1-18:26.
[Book section], (2017)

2016

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

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

2015

Bračevac, Oliver :
Temporal Correlation Patterns -- Intersecting Joins, Streams, Events and Reactive Programming.
[Online-Edition: http://2015.splashcon.org/track/rebls2015]
In: Workshop on Reactive and Event-based Languages & Systems co-located with SPLASH '15, 27 Oct 2015.
[Conference or workshop item], (2015)

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

2013

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

This list was generated on Fri Oct 20 09:20:34 2017 CEST.