Anastasiia Izycheva

According to our database, Anastasiia Izycheva authored at least 5 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Regime Inference for Sound Floating-Point Optimizations.

Robert Rabe, Anastasiia Izycheva, Eva Darulova

ACM Trans. Embed. Comput. Syst., 2021

2020

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

Anastasiia Izycheva, Eva Darulova, Helmut Seidl

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

Synthesizing Efficient Low-Precision Kernels.

Anastasiia Izycheva, Eva Darulova, Helmut Seidl

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

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

Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

On sound relative error bounds for floating-point arithmetic.

Anastasiia Izycheva, Eva Darulova

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017