Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anastasia Isychev
conf.researchr.org general profile
ASE 2024 profile
CGO 2022 profile
ISSTA/ECOOP 2024 profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2021 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Wed 26 Aug 2020
Name:
Anastasia Isychev
Country:
Austria
Affiliation:
TU Wien
X (Twitter):
https://x.com/izycheva
Contributions
2024
ASE
Committee Member in Program Committee within the Tool Demonstrations-track
Static Analysis Symposium
Committee Member in Program Committee within the SAS 2024-track
ISSTA
Publicity Chair in Organizing Committee
PLDI
Committee Member in Organizing Committee within the SRC-track
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
Share
x
Sun 1 Sep 00:09