James Riely
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
- Alan Jeffrey2×
- Anton Podkopaevonce
- Ilya Kaysinonce
all 6 in the filters
who talks about the same things
- Alan Jeffrey4 talks
- Radha Jagadeesan2 talks
- Mark Batty5 talks
- Simon Cooksey4 talks
- Ori Lahav17 talks
- Jeehoon Kang14 talks
| title | conference | date |
|---|---|---|
| The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Conc | POPL 2022 | 2022-01-16 |
Defines a compositional event semantics that attaches preconditions and families of predicate transformers to events, so sequential composition picks a… | ||
| Pomsets with Preconditions: A Simple Model of Relaxed Memory | OOPSLA 2020 | 2020-11-15 |
A denotational memory model called pomsets with preconditions represents executions as labeled partial orders augmented with logical preconditions, uses… | ||
| nothing matches | ||