Guillaume Ambal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Specifying and Verifying RDMA Synchronisation. | Guillaume Ambal, Max Stupple, Brijesh Dongol, Azalea Raad |
| 2025 | ESOP | Sufficient Conditions for Robustness of RDMA Programs. | Guillaume Ambal, Ori Lahav, Azalea Raad |
| 2022 | CPP | Certified abstract machines for skeletal semantics. | Guillaume Ambal, Sergue Lenglet, Alan Schmitt |
| 2022 | PPDP | Certified Derivation of Small-Step From Big-Step Skeletal Semantics. | Guillaume Ambal, Sergue Lenglet, Alan Schmitt, Camille Nos |