Vincent Laviron

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities.
Int. J. Softw. Tools Technol. Transf., 2011

2010
Separating Shape Graphs.
Proceedings of the Programming Languages and Systems, 2010

2009
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.
Proceedings of the Verification, 2009

Refining Abstract Interpretation-Based Static Analyses with Hints.
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009


  Loading...