Synthesis of divide and conquer parallelism for loops. - Azadeh Farzan; Victor Nicolet (PLDI, 2017)

Automated Synthesis of Divide and Conquer Parallelism. - Azadeh Farzan; Victor Nicolet (CoRR, 2017)

Modular divide-and-conquer parallelization of nested loops. - Azadeh Farzan; Victor Nicolet (PLDI, 2019)

Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version). - Azadeh Farzan; Victor Nicolet (CoRR, 2019)

Counterexample-Guided Partial Bounding for Recursive Function Synthesis. - Azadeh Farzan; Victor Nicolet (CAV (1), 2021)

Phased synthesis of divide and conquer programs. - Azadeh Farzan; Victor Nicolet (PLDI, 2021)

Recursion synthesis with unrealizability witnesses. - Azadeh Farzan; Danya Lette; Victor Nicolet (PLDI, 2022)

Synthesizing Divide-and-Conquer Programs - Victor Nicolet (2022)

Partial bounding for recursive function synthesis. - Azadeh Farzan; Victor Nicolet (Formal Methods Syst. Des., 2024)

Program Synthesis from Partial Traces. - Margarida Ferreira; Victor Nicolet; Joey Dodds; Daniel Kroening (Proc. ACM Program. Lang., 2025)