VLDB 2026 Research / reviewers in the wild / expert
Vincent Laviron
dblp:29/1707
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 OCamlabstractAbstract 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 |
ESOP | 1 |
| 2009 | Refining Abstract Interpretation-Based Static Analyses with Hints
Vincent Laviron, Francesco Logozzo |
APLAS | 1 |
| 2009 | SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
Vincent Laviron, Francesco Logozzo |
VMCAI | 1 |