Følg
Eva Darulova
Eva Darulova
Uppsala University
Verifisert e-postadresse på it.uu.se - Startside
Tittel
Sitert av
Sitert av
År
Sound compilation of reals
E Darulova, V Kuncak
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1882014
Towards a compiler for reals
E Darulova, V Kuncak
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-28, 2017
1222017
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ...
PLDI, 2020
1062020
Daisy-framework for analysis and optimization of numerical programs (tool paper)
E Darulova, A Izycheva, F Nasir, F Ritter, H Becker, R Bastian
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
912018
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
90*2020
Sound mixed-precision optimization with rewriting
E Darulova, E Horn, S Sharma
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
702018
Trustworthy numerical computation in scala
E Darulova, V Kuncak
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
692011
Synthesis of fixed-point programs
E Darulova, V Kuncak, R Majumdar, I Saha
Embedded Software (EMSOFT), 2013 Proceedings of the International Conference …, 2013
482013
On sound relative error bounds for floating-point arithmetic
A Izycheva, E Darulova
2017 Formal Methods in Computer Aided Design (FMCAD), 15-22, 2017
372017
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
322018
Interactive synthesis of temporal specifications from examples and natural language
I Gavran, E Darulova, R Majumdar
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
242020
Combining Tools for Optimization and Analysis of Floating-Point Computations
H Becker, P Panchekha, E Darulova, Z Tatlock
Formal Methods (FM), 2018
182018
Sound approximation of programs with elementary functions
E Darulova, A Volkova
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
162019
Sound probabilistic numerical error analysis
D Lohar, M Prokop, E Darulova
International Conference on Integrated Formal Methods, 322-340, 2019
152019
Icing: Supporting fast-math style optimizations in a verified compiler
H Becker, E Darulova, MO Myreen, Z Tatlock
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
142019
Deductive verification of floating-point Java programs in KeY
R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
112021
Sound Mixed Fixed-Point Quantization of Neural Networks
D Lohar, C Jeangoudoux, A Volkova, E Darulova
ACM Transactions on Embedded Computing Systems, 2023
92023
Regime Inference for Sound Floating-Point Optimizations
R Rabe, A Izycheva, E Darulova
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-23, 2021
92021
Verified Compilation and Optimization of Floating-Point Programs in CakeML
H Becker, R Rabe, E Darulova, MO Myreen, Z Tatlock, R Kumar, YK Tan, ...
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
82022
A Two-Phase Approach for Conditional Floating-Point Verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
TACAS, 2021
82021
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20