Ilya Kaysin
where else to find them
what they talk about
where they keep going back
- POPL2 editions2021–2022
on a stage with
- Alan Jeffreyonce
- Anton Podkopaevonce
- Azalea Raadonce
all 8 in the filters
who talks about the same things
- Azalea Raad27 talks
- Viktor Vafeiadis23 talks
- Michael Sammler16 talks
- Anton Podkopaev5 talks
- Kayvan Memarian6 talks
- Ilya Sergey25 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… | ||
| PerSeVerE: Persistency Semantics for Verification under Ext4 | POPL 2021 | 2021-01-17 |
Formal semantics for ext4 are derived from the kernel implementation and stress tests and integrated with C/C++ weak-memory models; a model-checker then… | ||
| nothing matches | ||