#### Filter Results:

- Full text PDF available (14)

#### Publication Year

2009

2018

- This year (8)
- Last 5 years (16)
- Last 10 years (22)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Eva Darulova, Viktor Kuncak
- POPL
- 2014

Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where theâ€¦ (More)

- Eva Darulova, Viktor Kuncak
- OOPSLA
- 2011

Modern computing has adopted the floating point type as a default way to describe computations with real numbers. Thanks to dedicated hardware support, such computations are efficient on modernâ€¦ (More)

- Eva Darulova, Viktor Kuncak
- ACM Trans. Program. Lang. Syst.
- 2017

Numerical software, common in scientific computing or embedded systems, inevitably uses a finite-precision approximation of the real arithmetic in which most algorithms are designed. In manyâ€¦ (More)

- Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha
- 2013 Proceedings of the International Conferenceâ€¦
- 2013

Several problems in the implementations of control systems, signal-processing systems, and scientific computing systems reduce to compiling a polynomial expression over the reals into an imperativeâ€¦ (More)

- Eva Darulova, Einar Horn, Saksham Sharma
- 2018 ACM/IEEE 9th International Conference onâ€¦
- 2018

Finite-precision arithmetic, widely used in embedded systems for numerical calculations, faces an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined,â€¦ (More)

- Eva Darulova, Viktor Kuncak
- RV
- 2012

A large portion of software is used for numerical computation in mathematics, physics and engineering. Among the aspects that make verification in this domain difficult is the need to quantifyâ€¦ (More)

Automated techniques for analysis and optimization of finiteprecision computations have recently garnered significant interest. Most of these were, however, developed independently. As a consequence,â€¦ (More)

- Anastasiia Izycheva, Eva Darulova
- 2017 Formal Methods in Computer Aided Designâ€¦
- 2017

State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy asâ€¦ (More)

- Heiko Becker, Eva Darulova, Magnus O. Myreen
- ArXiv
- 2017

Being able to soundly estimate roundoff errors in floatingpoint computations is important for many applications in embedded systems and scientific computing. Due to the unintuitive nature ofâ€¦ (More)

- Eva Darulova, Viktor Kuncak
- ArXiv
- 2014

An emerging area of research is to automatically compute reasonably accurate upper bounds on numerical errors, including roundoffs due to the use of a finite-precision representation for real numbersâ€¦ (More)