• Sign in
  • Sign up
conf.researchr.org / Victor Nicolet
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • PLDI 2025 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2022 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Victor Nicolet

Registered user since Mon 19 Dec 2016

Name:Victor Nicolet
Country:Canada
Affiliation:Amazon
Personal website: http://www.cs.toronto.edu/~victorn
Research interests:Formal Methods, Program Synthesis

Contributions

2025

PLDI

  • Author of Program Synthesis From Partial Traces within the PLDI Research Papers-track

2023

SPLASH

  • Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2022

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
  • Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track

PLDI

  • 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

  • Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track

2021

PLDI

  • Author of Phased Synthesis of Divide and Conquer Programs within the PLDI-track

2019

PLDI

  • Author of Modular Divide-and-Conquer Parallelization of Nested Loops within the PLDI Research Papers-track

2018

PLDI

  • Committee Member in Artifact Evaluation Committee

2017

PLDI

  • Author of Synthesis of Divide and Conquer Parallelism for Loops within the PLDI Research Papers-track
Share
xWed 18 Jun 00:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up