Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece
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

Contributions

ESEC/FSE 2021 LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
Show activities from other conferences

Using general profile