• Sign in
  • Sign up
conf.researchr.org / Sergei Stepanenko
  • PLDI 2023 profile
  • PLDI 2024 profile
  • POPL 2024 profile
Sergei Stepanenko

Registered user since Mon 15 Jun 2020

Name:Sergei Stepanenko
Country:Denmark
Affiliation:Aarhus University
Personal website: https://kaptch.link
GitHub: https://github.com/Kaptch
Research interests:Programming Languages, Formal Verification

Contributions

2024

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

  • Author of The Essence of Generalized Algebraic Data Types within the POPL-track

2023

PLDI

  • Author of VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A within the PLDI Research Papers-track
Share
xMon 12 May 00:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up