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
Research interests:Functional Language Compilers, (Path-)Dependent Types, (Co)Effects, Separation Logic, Ownership

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
ECOOP 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
ICSE 2023 Author of Compiling Parallel Symbolic Execution with Continuations within the Technical Track-track
SPLASH 2022 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Reviewers within the Student Research Competition-track
TyDe 2022 Committee Member in Program Committee within the TyDe 2022-track
ECOOP 2022 Author of What If We Don’t Pop the Stack? The Return of Second-Class Values within the Research Papers-track
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
SPLASH 2020 Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track
Scala 2020 Committee Member in Program Committee within the Scala-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
SPLASH 2015 Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
REBLS 2015 Author of Temporal Correlation Patterns within the REBLS-track
ECOOP 2015 Committee Member in Program Committee within the Doctoral Symposium-track