conf.researchr.org / Oliver Bračevac
Oliver Bračevac

Registered user since Tue 18 Aug 2015

Name: Oliver Bračevac

Affiliation: Purdue University

Personal website: https://bracevac.org

Twitter: https://twitter.com/etaconversion

GitHub: https://github.com/bracevac

Research interests: (Path-)Dependent Types, (Co)Effects, Reactive Programming, Complex Event Processing, Stream Processing

Contributions

Scala 2020 Committee Member in Program Committee within the Scala-track
SPLASH 2020 Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track
ICFP 2018 Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
ECOOP 2017 Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track
Modularity 2016 Author of CPL: A Core Language for Cloud Computing within the Research Results-track
REBLS 2015 Author of Temporal Correlation Patterns within the REBLS-track
SPLASH 2015 Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
ECOOP 2015 Committee Member in Program Committee within the Doctoral Symposium-track