Eva Darulova

Identifiers

• name variant Eva Darulova 0.60 · backfill

Papers (9)

1. Sound Approximation of Programs with Elementary Functions cs.NA · 2018 · author #1
2. Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms cs.AR · 2018 · author #4
3. Combining Tools for Optimization and Analysis of Floating-Point Computations cs.PL · 2018 · author #3
4. Precise but Natural Specification for Robot Tasks cs.RO · 2018 · author #3
5. On Sound Relative Error Bounds for Floating-Point Arithmetic cs.PL · 2017 · author #2
6. Sound Mixed-Precision Optimization with Rewriting cs.PL · 2017 · author #1
7. A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4 cs.PL · 2017 · author #4
8. Towards a Compiler for Reals cs.PL · 2014 · author #1
9. On Sound Compilation of Reals cs.PL · 2013 · author #1

Mentions

• 1309.2511 #1 · backfill · confidence 0.70 Eva Darulova

Frequent Coauthors

• Heiko Becker 2 shared papers
• Viktor Kuncak 2 shared papers
• Adrian Sampson 1 shared papers
• Alexandros Daglis 1 shared papers
• Anastasia Volkova 1 shared papers
• Anastasiia Izycheva 1 shared papers
• Andreas Gerstlauer 1 shared papers
• Anthony Fox 1 shared papers
• Armin Alaghi 1 shared papers
• Babak Falsafi 1 shared papers
• Brendon Boldt 1 shared papers
• Damien Zufferey 1 shared papers
• Djordje Jevdjic 1 shared papers
• Einar Horn 1 shared papers
• Ghayoor Gillani 1 shared papers
• Ivan Gavran 1 shared papers
• Lara Dolecek 1 shared papers
• Magnus O. Myreen 1 shared papers
• Mattia Cacciotti 1 shared papers
• Michael Carbin 1 shared papers