Thomas Grégoire

According to our database, Thomas Grégoire authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms.

Thomas Grégoire, Adam Chlipala

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016