Victor Nicolet

According to our database, Victor Nicolet authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Partial bounding for recursive function synthesis.

Azadeh Farzan, Victor Nicolet

Formal Methods Syst. Des., October, 2024

2022

Recursion synthesis with unrealizability witnesses.

Azadeh Farzan, Danya Lette, Victor Nicolet

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Phased synthesis of divide and conquer programs.

Azadeh Farzan, Victor Nicolet

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Counterexample-Guided Partial Bounding for Recursive Function Synthesis.

Azadeh Farzan, Victor Nicolet

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version).

Azadeh Farzan, Victor Nicolet

CoRR, 2019

Modular divide-and-conquer parallelization of nested loops.

Azadeh Farzan, Victor Nicolet

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017

Automated Synthesis of Divide and Conquer Parallelism.

Azadeh Farzan, Victor Nicolet

CoRR, 2017

Synthesis of divide and conquer parallelism for loops.

Azadeh Farzan, Victor Nicolet

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017