Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Antonina Nepeivoda
conf.researchr.org general profile
POPL 2021 profile
POPL 2022 profile
‹Programming› 2019 profile
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
x
Wed 9 Jul 18:32
