Jeremy Leconte

According to our database, Jeremy Leconte authored at least 2 papers in 2010.

Collaborative distances:

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

2010

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach.

Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Mathematical programming based debugging.

Leo Liberti, Stéphane Le Roux, Jeremy Leconte, Fabrizio Marinelli

Electron. Notes Discret. Math., 2010