Write a Blog >>
Victor Nicolet

Registered user since Mon 19 Dec 2016

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


PLDI 2017 Synthesis of Divide and Conquer Parallelism for Loops
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile