Anastasia Isychev -

Registered user since Wed 26 Aug 2020

Name:Anastasia Isychev

Country:Austria

Affiliation:Technical University of Vienna

X (Twitter): https://x.com/izycheva

Contributions

2024

ISSTA

Publicity Chair in Organizing Committee

2023

Static Analysis Symposium

Author of Scaling up Roundoff Analysis of Functional Data Structure Programs within the SAS 2023-track

PLDI

Author in Artifact Evaluation Committee within the Research Artifacts-track

2022

SPLASH

Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the COVID Time Papers In Person-track

CGO

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2021

POPL

Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track

2020

Static Analysis Symposium

Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track