Kontakt:

Picture of Anastasiia Izycheva

M.Sc. Anastasiia Izycheva

izycheva<at>in.tum.de

Research interests

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

Publications

  • 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)