James Brotherston
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
- Alastair F. Donaldsononce
- John Wickersononce
- Lee Smithonce
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… | ||
| Strong vs. weak separating conjunction in CSL | O'Hearn Fest (POPL 2024) | 2024-01-14 |
Argues that two distinct separations are necessary in concurrent separation logic: a strong separating conjunction for writing inductive/imprecise predicates… | ||
| nothing matches | ||