Refining Abstract Interpretation-Based Static Analyses with Hints. - Vincent Laviron; Francesco Logozzo (APLAS, 2009)

SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. - Vincent Laviron; Francesco Logozzo (VMCAI, 2009)

Separating Shape Graphs. - Vincent Laviron; Bor-Yuh Evan Chang; Xavier Rival (ESOP, 2010)

SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities. - Vincent Laviron; Francesco Logozzo (Int. J. Softw. Tools Technol. Transf., 2011)

Chamelon : A Delta-Debugger for OCaml. - Milla Valnet; Nathanaëlle Courant; Guillaume Bury; Pierre Chambart; Vincent Laviron (FM (2), 2024)