Artem Khyzha
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
- Adam Morrisononce
- Aleksandar Nanevskionce
- Constantin Eneaonce
all 7 in the filters
who talks about the same things
- Azalea Raad27 talks
- Ori Lahav17 talks
- Yotam M. Y. Feldman6 talks
- Viktor Vafeiadis23 talks
- Constantin Enea14 talks
- Parosh Aziz Abdulla9 talks
| title | conference | date |
|---|---|---|
| Taming x86-TSO Persistency | POPL 2021 | 2021-01-17 |
Proposes a new synchronous PTSO model that eagerly persists writes and proves it reaches the same non‑volatile states as the asynchronous POPL’20 model — a… | ||
| Proving Highly-Concurrent Traversals Correct | OOPSLA 2020 | 2020-11-15 |
Paper proves that optimistic lock-free traversals are correct by reducing concurrent traversal correctness to sequential reasoning plus two concrete… | ||
| nothing matches | ||