Guillaume Ambal
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Brijesh Dongol8 talks
- Vasileios Klimis4 talks
- Azalea Raad27 talks
- Ori Lahav17 talks
- Mark Batty5 talks
- Simon Cooksey4 talks
| title | conference | date |
|---|---|---|
| A Verified High-Performance Composable Object Library for Remote Direct Memory Access | POPL 2026 | 2026-01-11 |
LOCO is a verified C++ RDMA object library that implements ring buffers, barriers and a key‑value store atop a single-thread manager for hardware completion… | ||
| Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA(…) | OOPSLA 2024 | 2024-10-20 |
Claims a first formal semantics for RDMA on x86‑TSO: three equivalent models (two operational at different abstraction levels, one declarative), with a… | ||
| Certified Abstract Machines for Skeletal Semantics | CPP 2022 | 2022-01-17 |
Automatic generation produces a certified OCaml interpreter from any language written in skeletal semantics by deriving two semantics: a relation-style… | ||
| nothing matches | ||