Victor Nicolet

13 papers A* 4Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents. CoRR Zhenning Yang, Hui Guan, Victor Nicolet, Brandon Paulsen, Joey Dodds, Daniel Kroening, Ang Chen
2025	J	`jnl`	Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection. CoRR Margarida Ferreira, Victor Nicolet, Luan Pham, Joey Dodds, Daniel Kroening, Inês Lynce, Ruben Martins
2025	J	`jnl`	Program Synthesis From Partial Traces. CoRR Margarida Ferreira, Victor Nicolet, Joey Dodds, Daniel Kroening
2025	J	`jnl`	Program Synthesis from Partial Traces. Proc. ACM Program. Lang. Margarida Ferreira, Victor Nicolet, Joey Dodds, Daniel Kroening
2024	J	`jnl`	Partial bounding for recursive function synthesis. Formal Methods Syst. Des. Azadeh Farzan, Victor Nicolet
2022	A*	`conf`	Recursion synthesis with unrealizability witnesses. PLDI Azadeh Farzan, Danya Lette, Victor Nicolet
2022	—	`—`	Synthesizing Divide-and-Conquer Programs Victor Nicolet
2021	—	`conf`	Counterexample-Guided Partial Bounding for Recursive Function Synthesis. CAV (1) Azadeh Farzan, Victor Nicolet
2021	A*	`conf`	Phased synthesis of divide and conquer programs. PLDI Azadeh Farzan, Victor Nicolet
2019	J	`jnl`	Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version). CoRR Azadeh Farzan, Victor Nicolet
2019	A*	`conf`	Modular divide-and-conquer parallelization of nested loops. PLDI Azadeh Farzan, Victor Nicolet
2017	J	`jnl`	Automated Synthesis of Divide and Conquer Parallelism. CoRR Azadeh Farzan, Victor Nicolet
2017	A*	`conf`	Synthesis of divide and conquer parallelism for loops. PLDI Azadeh Farzan, Victor Nicolet