Arthur Blot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers. | Arthur Blot, Jean-Michel Muller, Laurent Thry |
| 2017 | CCS | Jasmin: High-Assurance and High-Speed Cryptography. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub |
| 2016 | FLOPS | From Sets to Bits in Coq. | Arthur Blot, Pierre-variste Dagand, Julia Lawall |