Eva Darulova
From MaRDI portal
Person:2024355
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Computer Aided Verification | 2024-02-16 | Paper |
| Sound approximation of programs with elementary functions Computer Aided Verification | 2024-02-16 | Paper |
| A two-phase approach for conditional floating-point verification | 2021-10-18 | Paper |
| Deductive verification of floating-point Java programs in KeY (available as arXiv preprint) | 2021-10-18 | Paper |
| Counterexample- and simulation-guided floating-point loop invariant synthesis | 2021-10-18 | Paper |
| Combining tools for optimization and analysis of floating-point computations (available as arXiv preprint) | 2021-05-04 | Paper |
| Sound compilation of reals Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Research outcomes over time
This page was built for person: Eva Darulova
