SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
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: (Path) Dependent Types, Algebraic Effects, Reactive Programming, Complex Event Processing, Stream Processing

Contributions

Scala 2020Committee Member in Program Committee within the Scala-track
SPLASH 2020Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track
Show activities from other conferences

Using general profile