Vincent Laviron

According to our database, Vincent Laviron authored at least 4 papers between 2009 and 2011.

Collaborative distances:

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

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