Vincent Laviron

According to our database, Vincent Laviron authored at least 5 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Chamelon : A Delta-Debugger for OCaml.

Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron

Proceedings of the Formal Methods - 26th International Symposium, 2024

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., 2011

2010

Separating Shape Graphs.

Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Programming Languages and Systems, 2010

2009

SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.

Vincent Laviron, Francesco Logozzo

Proceedings of the Verification, 2009

Refining Abstract Interpretation-Based Static Analyses with Hints.

Vincent Laviron, Francesco Logozzo

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009