Oliver Bračevac -

Registered user since Tue 18 Aug 2015

Name:Oliver Bračevac

Country:United States

Affiliation:Purdue University

Personal website:https://bracevac.org

Twitter:https://twitter.com/etaconversion

GitHub:https://github.com/bracevac

Research interests:Functional Language Compilers, (Path-)Dependent Types, (Co)Effects,

Contributions

ECOOP 2022	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
SPLASH 2021	Author of Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs within the Posters-track Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the SIGPLAN Papers-track Author of Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs within the OOPSLA-track
ESEC/FSE 2021	Author of LLSC: A Parallel Symbolic Execution Compiler for LLVM IR within the Demonstrations-track
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