Antonina Nepeivoda -

Registered user since Tue 4 Aug 2020

Name:Antonina Nepeivoda

Country:Russia

Affiliation:Program Systems Institute of RAS, Russia

Contributions

PEPM 2022	Committee Member in Program Committee within the PEPM 2022-track Session Chair of Contributed Talks 1 (part of PEPM 2022)
PEPM 2021	Committee Member in Program Committee within the PEPM 2021-track
VPT 2019	Author of Verifying String Replacing Procedures by Supercompilation within the VPT 2019 -track