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

Registered user since Tue 18 Aug 2015

Name: Oliver Bračevac

Bio: PhD student at Technische Universität Darmstadt, Software Technology Group.

Country: Germany

Affiliation: TU Darmstadt

Personal website: http://bit.ly/1G1sprp

Research interests: Type Systems, Programming Languages, Reactive Programming, Logic

Contributions

ICFP 2018Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
ECOOP 2017Author 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 2015Author of Temporal Correlation Patterns within the REBLS-track
SPLASH 2015Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
ECOOP 2015Committee Member in Program Committee within the Doctoral Symposium-track