Eva Darulova
Eva Darulova
Bestätigte E-Mail-Adresse bei mpi-sws.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Sound compilation of reals
E Darulova, V Kuncak
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1232014
Towards a compiler for reals
E Darulova, V Kuncak
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-28, 2017
552017
Trustworthy numerical computation in scala
E Darulova, V Kuncak
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
522011
Synthesis of fixed-point programs
E Darulova, V Kuncak, R Majumdar, I Saha
Embedded Software (EMSOFT), 2013 Proceedings of the International Conference …, 2013
342013
Sound mixed-precision optimization with rewriting
E Darulova, E Horn, S Sharma
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
262018
Daisy-Framework for Analysis and Optimization of Numerical Programs (Tool Paper)
E Darulova, A Izycheva, F Nasir, F Ritter, H Becker, R Bastian
International Conference on Tools and Algorithms for the Construction and …, 2018
192018
On sound relative error bounds for floating-point arithmetic
A Izycheva, E Darulova
2017 Formal Methods in Computer Aided Design (FMCAD), 15-22, 2017
152017
Exploiting errors for efficiency: A survey from circuits to algorithms
P Stanley-Marbell, A Alaghi, M Carbin, E Darulova, L Dolecek, ...
ACM Computing Surveys (CSUR), 2020
142020
Programming with Numerical Uncertainties
E Darulová
EPFL, 2014
52014
Sound approximation of programs with elementary functions
E Darulova, A Volkova
International Conference on Computer Aided Verification, 174-183, 2019
42019
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
H Becker, N Zyuzin, R Monat, E Darulova, MO Myreen, A Fox
Formal Methods in Computer Design (FMCAD), 2018
42018
Certifying solutions for numerical constraints
E Darulova, V Kuncak
International Conference on Runtime Verification, 277-291, 2012
42012
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ...
PLDI, 2020
32020
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler
H Becker, E Darulova, MO Myreen, Z Tatlock
International Conference on Computer Aided Verification, 155-173, 2019
32019
Discrete Choice in the Presence of Numerical Uncertainties
D Lohar, E Darulova, S Putot, E Goubault
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
32018
Combining Tools for Optimization and Analysis of Floating-Point Computations
H Becker, P Panchekha, E Darulova, Z Tatlock
Formal Methods (FM), 2018
32018
Beetlz--BON Software Model Consistency Checker for Eclipse
E Darulová
32009
Sound probabilistic numerical error analysis
D Lohar, M Prokop, E Darulova
International Conference on Integrated Formal Methods, 322-340, 2019
22019
Synthesizing Efficient Low-Precision Kernels
A Izycheva, E Darulova, H Seidl
International Symposium on Automated Technology for Verification and …, 2019
12019
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control
M Salamati, R Salvia, E Darulova, S Soudjani, R Majumdar
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-19, 2019
2019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20