Guillaume Ambal

According to our database, Guillaume Ambal authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version).

Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis

CoRR, October, 2025

Sufficient Conditions for Robustness of RDMA Programs.

Guillaume Ambal, Ori Lahav, Azalea Raad

Proceedings of the Programming Languages and Systems, 2025

2024

Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures.

Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad

Proc. ACM Program. Lang., 2024

2022

Skeletal semantics transformations. (Transformations de sémantiques squelettiques).

Guillaume Ambal

PhD thesis, 2022

Certified Derivation of Small-Step From Big-Step Skeletal Semantics.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Certified abstract machines for skeletal semantics.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

HOπ in Coq.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

J. Autom. Reason., 2021