Login / Signup
Sergei Stepanenko
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Back End
Nearest Neighbor
Low Latency
Data Types
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Filip Sieczkowski
,
Sergei Stepanenko
,
Jonathan Sterling
,
Lars Birkedal
The Essence of Generalized Algebraic Data Types.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Zongyuan Liu
,
Sergei Stepanenko
,
Jean Pichon-Pharabod
,
Amin Timany
,
Aslan Askarov
,
Lars Birkedal
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proc. ACM Program. Lang.
7 (PLDI) (2023)