On sound relative error bounds for floating-point arithmetic. - Anastasiia Izycheva; Eva Darulova (FMCAD, 2017)

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). - Eva Darulova; Anastasiia Izycheva; Fariha Nasir; Fabian Ritter 002; Heiko Becker; Robert Bastian (TACAS (1), 2018)

Synthesizing Efficient Low-Precision Kernels. - Anastasiia Izycheva; Eva Darulova; Helmut Seidl (ATVA, 2019)

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. - Anastasiia Izycheva; Eva Darulova; Helmut Seidl (SAS, 2020)

Regime Inference for Sound Floating-Point Optimizations. - Robert Rabe; Anastasiia Izycheva; Eva Darulova (ACM Trans. Embed. Comput. Syst., 2021)

Scaling up Roundoff Analysis of Functional Data Structure Programs. - Anastasia Isychev; Eva Darulova (SAS, 2023)

Improving Analysis and Optimization of Finite-Precision Programs. - Anastasia Isychev (2023)

Constraint-Based Test Oracles for Program Analyzers. - Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis (ASE, 2024)

Interrogation Testing of Program Analyzers for Soundness and Precision Issues. - David Kaindlstorfer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis (ASE, 2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits. - Christoph Hochrainer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis (CoRR, 2024)