SPLASH 2020 (series) / Oliver Bračevac
Registered user since Tue 18 Aug 2015
Name:Oliver Bračevac
Affiliation:Purdue University
Personal website:https://bracevac.org
GitHub:https://github.com/bracevac
Research interests:(Path-)Dependent Types, (Co)Effects, Reactive Programming, Complex Event Processing, Stream Processing
Contributions
| 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
View general profile