Sun 15 - Sat 21 November 2020 Online Conference
Oliver Bračevac

Registered user since Tue 18 Aug 2015

Name:Oliver Bračevac
Affiliation:Purdue University
Personal website:https://bracevac.org
Research interests:(Path-)Dependent Types, (Co)Effects, Reactive Programming, Complex Event Processing, Stream Processing


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

SPLASH 2020-profile
View general profile