Victor Nicolet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Recursion synthesis with unrealizability witnesses. | Azadeh Farzan, Danya Lette, Victor Nicolet |
| 2021 | CAV | Counterexample-Guided Partial Bounding for Recursive Function Synthesis. | Azadeh Farzan, Victor Nicolet |
| 2021 | PLDI | Phased synthesis of divide and conquer programs. | Azadeh Farzan, Victor Nicolet |
| 2019 | PLDI | Modular divide-and-conquer parallelization of nested loops. | Azadeh Farzan, Victor Nicolet |
| 2017 | PLDI | Synthesis of divide and conquer parallelism for loops. | Azadeh Farzan, Victor Nicolet |