Anastasiia Izycheva

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)

Heiko Becker, Eva Darulova, Fabian Ritter, 2018, TACAS.

On sound relative error bounds for floating-point arithmetic

Eva Darulova, Anastasiia Izycheva, Eva Darulova, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

Eva Darulova, Helmut Seidl, Anastasiia Izycheva, 2020, SAS.

Synthesizing Efficient Low-Precision Kernels

Helmut Seidl, Eva Darulova, Anastasiia Izycheva, 2019, ATVA.