Victor Nicolet

Registered user since Mon 19 Dec 2016

Name:Victor Nicolet
Country:Canada
Affiliation:University of Toronto
Research interests:Formal Methods, Concurrency, Parallelization

Contributions

PLDI 2022 (PLDI 2021) Phased Synthesis of Divide and Conquer Programs
Recursion Synthesis with Unrealizability Witnesses
Show activities from other conferences

Using general profile