Sergei Stepanenko
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
- Lars Birkedal2×
- Amin Timanyonce
- Aslan Askarovonce
all 7 in the filters
who talks about the same things
- Jonathan Sterling4 talks
- Filip Sieczkowski5 talks
- Lars Birkedal35 talks
- Zongyuan Liu3 talks
- Aleksander Boruch-Gruszecki9 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| The Essence of Generalized Algebraic Data Types | POPL 2024 | 2024-01-14 |
Presents a minimal core calculus—System Fω+μ with internalized type equalities and injective constant constructors—that directly encodes GADTs, proves… | ||
| VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating(…) | PLDI 2023 | 2023-06-17 |
Formalises a substantial fragment of Arm FF‑A as a toy ISA with hypercalls and develops VMSL separation logic to reason about VM-to-VM shared pages and handoff… | ||
| nothing matches | ||