Victor Nicolet -

Registered user since Mon 19 Dec 2016

Name:Victor Nicolet

Country:Canada

Affiliation:Amazon Web Services

Personal website:http://www.cs.toronto.edu/~victorn

Research interests:Formal Methods, Program Synthesis

Contributions

SPLASH 2023	Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2022	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
PLDI 2022	Author of (PLDI 2021) Phased Synthesis of Divide and Conquer Programs within the SIGPLAN Track-track Author of Recursion Synthesis with Unrealizability Witnesses within the PLDI-track
VMCAI 2022	Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
PLDI 2021	Author of Phased Synthesis of Divide and Conquer Programs within the PLDI-track
PLDI 2019	Author of Modular Divide-and-Conquer Parallelization of Nested Loops within the PLDI Research Papers-track
PLDI 2018	Committee Member in Artifact Evaluation Committee
PLDI 2017	Author of Synthesis of Divide and Conquer Parallelism for Loops within the PLDI Research Papers-track