Research interests

• verification of numerical programs
• functional program synthesis
• program analysis

Publications

• Regime Inference for Sound Floating-Point Optimizations R.Rabe, A.Izycheva, E.Darulova, EMSOFT'21
• Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis A.Izycheva, E.Darulova, H.Seidl, SAS'20; Recording of the talk
• Synthesizing Efficient Low-Precision Kernels A.Izycheva, E.Darulova, H.Seidl, ATVA'19
• Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). E.Darulova, A.Izycheva, F.Nasir, F.Ritter, H.Becker, R.Bastian, TACAS'18
• On Sound Relative Error Bounds for Floating-Point Arithmetic A. Izycheva, E. Darulova, FMCAD'17 (extended version on arXiv)

Projects

• Daisy - a framework for accuracy analysis and synthesis of numerical programs 
• Pine - a synthesizer for floating-point loop invariants

Advised Theses

• Interactive Synthesis for Object-Oriented Programs, Aleksei Semin, M.Sc., winter 2021/22
• Regime Inference for Finite-Precision Numerical Kernels, Robert Rabe, B.Sc., summer 2020

Teaching

• Program Optimization: WS18/19, WS19/20, WS20/21, WS21/22, WS22/23
• Virtual Machines: SoSe19, SoSe20, SoSe21
• The Tyranny of Types: Curse or Blessing? (Seminar) SoSe22
• Program Synthesis Seminar: SoSe18, SoSe19, SoSe20
• Introduction to Informatics 2 (WS17/18)

Service