ESEC/FSE 2021 (series) / 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
GitHub:https://github.com/bracevac
Research interests:(Path-)Dependent Types, (Co)Effects, Reactive Programming, Complex Event Processing, Stream Processing
Contributions
| ESEC/FSE 2021 | LLSC: A Parallel Symbolic Execution Compiler for LLVM IR | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESEC/FSE 2021-profile
View general profile
View general profile