
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