Vincent Laviron
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Chamelon : A Delta-Debugger for OCaml. | Milla Valnet, Nathanalle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron |
| 2010 | ESOP | Separating Shape Graphs. | Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival |
| 2009 | APLAS | Refining Abstract Interpretation-Based Static Analyses with Hints. | Vincent Laviron, Francesco Logozzo |
| 2009 | VMCAI | SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. | Vincent Laviron, Francesco Logozzo |