Thomas Letan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2020
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CPP | FreeSpec: specifying, verifying, and executing impure computations in Coq. | Thomas Letan, Yann Rgis-Gianas |
| 2018 | FM | Modular Verification of Programs with Effects and Effect Handlers in Coq. | Thomas Letan, Yann Rgis-Gianas, Pierre Chifflier, Guillaume Hiet |
| 2016 | FM | SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. | Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Nron, Benjamin Morin |