Arthur Oliveira Vale
where else to find them
what they talk about
where they keep going back
- POPL2 editions2022–2023
on a stage with
all 7 in the filters
who talks about the same things
- Yixuan Chen2 talks
- Zhong Shao19 talks
- Jérémie Koenig4 talks
- Emanuele D'Osualdo7 talks
- Peter Müller28 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| Compositionality and Observational Refinement for Linearizability with Crashes | OOPSLA 2024 | 2024-10-20 |
Defines a compositional model for full-system crashes and proves that a new criterion, crash-aware linearizability, supports both locality and observational… | ||
| A Compositional Theory of Linearizability | POPL 2023 | 2023-01-15 |
Presents a concrete reformulation of linearizability derived from a base concurrent model via the Karoubi envelope, producing a compositional model by… | ||
| Layered and Object-Based Game Semantics | POPL 2022 | 2022-01-16 |
Presents a concrete game-semantics model where a layer interface is an object type plus an object strategy, implementations are regular maps from underlay to… | ||
| nothing matches | ||