Registered user since Tue 18 Aug 2015
Name: Oliver Bračevac
Affiliation: Purdue University
Personal website: https://bracevac.org
Twitter: https://twitter.com/etaconversion
GitHub: https://github.com/bracevac
Research interests: (Path-)Dependent Types, (Co)Effects, Reactive Programming, Complex Event Processing, Stream Processing
Contributions
| Scala 2020 | Committee Member in Program Committee within the Scala-track | ||||||||||||||||||||||||||||||||||||||||
| SPLASH 2020 | Compiling Symbolic Execution with Staging and Algebraic Effects | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2020-profile
View general profile
View general profile