Eva Darulova

Available identifiers

Publication	Date of Publication	Type
Dandelion: certified approximations of elementary functions	2024-07-15	Paper
Formally verified roundoff errors using SMT-based certificates and subdivisions	2024-03-14	Paper
Icing: supporting fast-math style optimizations in a verified compiler	2024-02-16	Paper
Sound approximation of programs with elementary functions	2024-02-16	Paper
Counterexample- and simulation-guided floating-point loop invariant synthesis	2021-10-18	Paper
A two-phase approach for conditional floating-point verification	2021-10-18	Paper
Deductive verification of floating-point Java programs in KeY	2021-10-18	Paper
Combining tools for optimization and analysis of floating-point computations	2021-05-04	Paper
Sound compilation of reals	2014-04-10	Paper

This page was built for person: Eva Darulova