Login / Signup
Thomas Grégoire
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Optimization Problems
Cooperative
Formal Verification
Learning Algorithm
Top Venues
ITP
J. Autom. Reason.
</>
Publications
</>
Thomas Grégoire
,
Adam Chlipala
Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms.
J. Autom. Reason.
62 (2) (2019)
Thomas Grégoire
,
Adam Chlipala
Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms.
ITP
(2016)