Sergei Stepanenko – Research output — Aarhus University

Emailsergei.stepanenkocs.audk

Åbogade 34
8200 Aarhus N
Denmark

Research activity per year

2 Journal article

2 results

2024
The Essence of Generalized Algebraic Data Types
Sieczkowski, F., Stepanenko, S., Sterling, J. & Birkedal, L., Jan 2024, In: Proceedings of the ACM on Programming Languages . 8, POPL, p. 695-723 29 p.
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

Open Access
2023
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L., Jun 2023, In: Proceedings of the ACM on Programming Languages . 7, p. 1438-1462
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

Open Access