Yixuan Chen
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Arthur Oliveira Vale3 talks
- Zhong Shao19 talks
- Zheng Han Lee2 talks
- Jérémie Koenig4 talks
- Ling Zhang4 talks
- Emanuele D'Osualdo7 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… | ||
| nothing matches | ||