Luke Geeson
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations | OOPSLA 2024 | 2024-10-20 |
Tooling and results: a new testing technique compiles individual C/C++ atomic operations with multiple mappings, links the permutations, and checks whether… | ||
| Weak Memory Demands Model-based Compiler Testing | The Future of Weak Memory 2024 | 2024-01-15 |
Claim: hardware is using RV 8.2a with Large Systems Extension behaviors more aggressively, so compiled C/C++ can exhibit outcomes not allowed by the C++ model… | ||
| nothing matches | ||