Anastasiia Izycheva

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Sparse Matrices

Floating Point Arithmetic

Wavelet Synopses

Instruction Set

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Robert Rabe, Anastasiia Izycheva, Eva Darulova
Regime Inference for Sound Floating-Point Optimizations. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Anastasiia Izycheva, Eva Darulova, Helmut Seidl
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. SAS (2020)
Anastasiia Izycheva, Eva Darulova, Helmut Seidl
Synthesizing Efficient Low-Precision Kernels. ATVA (2019)
Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). TACAS (1) (2018)
Anastasiia Izycheva, Eva Darulova
On Sound Relative Error Bounds for Floating-Point Arithmetic. CoRR (2017)
Anastasiia Izycheva, Eva Darulova
On sound relative error bounds for floating-point arithmetic. FMCAD (2017)