Vincent Laviron

dblp:29/1707 · DBLP profile ↗
← Back
6ranked-venue papers
4as first author
2since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 6 · 4 first-author · 2 since 2021Theory of computation · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Chamelon: A delta-debugger for OCaml
Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron
Sci. Comput. Program.5
2024 Chamelon : A Delta-Debugger for OCaml
abstract
Abstract Tools that manipulate OCaml code can sometimes fail even on correct programs. Identifying and understanding the cause of the error usually involves manually reducing the size of the program, so as to obtain a shorter program causing the same error—a long, sometimes complex and rarely interesting task. Our work consists in automating this task using a minimiser, or delta-debugger. To do so, we propose a list of unitary heuristics, i.e. small-scale reductions, applied through a dichotomy-based state-of-the-art algorithm. These proposals are implemented in the free Chamelon tool. Although designed to assist the development of an OCaml compiler, Chamelon can be adapted to all kinds of projects that manipulate OCaml code. It can analyse multifile projects and efficiently minimise real-world programs, reducing their size by one to several orders of magnitude. It is currently used to assist the industrial development of the flambda2 optimising compiler.
Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron
FM (2)5
2011 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.1
2010 Separating Shape Graphs
Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival
ESOP1
2009 Refining Abstract Interpretation-Based Static Analyses with Hints
Vincent Laviron, Francesco Logozzo
APLAS1
2009 SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
Vincent Laviron, Francesco Logozzo
VMCAI1