• Sign in
  • Sign up
conf.researchr.org / Antonina Nepeivoda
  • POPL 2021 profile
  • POPL 2022 profile
  • ‹Programming› 2019 profile
Antonina Nepeivoda

Registered user since Tue 4 Aug 2020

Name:Antonina Nepeivoda
Country:Russia
Affiliation:Program Systems Institute of RAS, Russia

Contributions

2022

PEPM

  • Committee Member in Program Committee within the PEPM 2022-track
  • Session Chair of Contributed Talks 1 (part of PEPM 2022)

2021

PEPM

  • Committee Member in Program Committee within the PEPM 2021-track

2019

VPT

  • Author of Verifying String Replacing Procedures by Supercompilation within the VPT 2019 -track
Share
xWed 14 May 04:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up