Mathias Péron

According to our database, Mathias Péron authored at least 3 papers between 2007 and 2010.

Collaborative distances:

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

2010

Contributions à l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays).

Mathias Péron

PhD thesis, 2010

2008

Discovering properties about arrays in simple programs.

Nicolas Halbwachs, Mathias Péron

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.

Mathias Péron, Nicolas Halbwachs

Proceedings of the Verification, 2007