Vasileios Klimis
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
- Alan Bakeronce
- Alastair F. Donaldsononce
- Avner Bensoussanonce
all 15 in the filters
who talks about the same things
- Avner Bensoussan2 talks
- Karine Even-Mendoza2 talks
- Elena Chachkarova2 talks
- Connor Lenihan2 talks
- Sophie Fortz2 talks
- Alastair F. Donaldson14 talks
| title | conference | date |
|---|---|---|
| Shaking Up Quantum Simulators with Fuzzing and Rigour | OOPSLA 2025 | 2025-10-16 |
FuzzQ combines an Alloy-based QASM 3.0 model with structured fuzzing, mutation testing and invariant checks to generate constraint-guided circuits and run… | ||
| 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… | ||
| Chasing Unicorns and Not Losing Hope in Validating Weak Memory Persistency Model... | The Future of Weak Memory 2024 | 2024-01-15 |
A practical method to validate NVM persistency on real machines: hardware bus interception with a SoCal DDR detective fails on x86 because the persistent… | ||
| Taking Back Control in an Intermediate Representation for GPU Computing | POPL 2023 | 2023-01-15 |
Formal modeling of SPIR-V control flow encodes the rules in an Alloy model, replaces brittle dominance rules with structural dominance that counts control… | ||
| nothing matches | ||