Samuel Chassot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Formally Verified Linear-Time Invertible Lexing. | Samuel Chassot, Viktor Kuncak |
| 2025 | ESOP | Formal Autograding in a Classroom. | Dragana Milovancevic, Mario Bucev, Marcin Wojnarowski, Samuel Chassot, Viktor Kuncak |
| 2025 | VMCAI | Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. | Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak |
| 2024 | IJCAR | Verifying a Realistic Mutable Hash Table - Case Study (Short Paper). | Samuel Chassot, Viktor Kuncak |