Guillaume Ambal

According to our database, Guillaume Ambal authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

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