Eva Darulova

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 48

Top Topics

Elementary Functions

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Rosa Abbasi, Eva Darulova
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. SAS (2023)
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova
Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Anastasia Isychev, Eva Darulova
Scaling up Roundoff Analysis of Functional Data Structure Programs. SAS (2023)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification. ECOOP (2022)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
Verified Compilation and Optimization of Floating-Point Programs in CakeML. ECOOP (2022)
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification (Extended Version). CoRR (2022)
Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich
Inferring Interval-Valued Floating-Point Preconditions. TACAS (1) (2022)
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions. ITP (2022)
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions. CoRR (2022)
Armin Alaghi, Eva Darulova, Andreas Gerstlauer, Phillip Stanley-Marbell
Introduction to the Special Issue on Approximate Systems. ACM Trans. Design Autom. Electr. Syst. 27 (2) (2022)
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
Lassie: HOL4 tactics by example. CPP (2021)
Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Deductive Verification of Floating-Point Java Programs in KeY. CoRR (2021)
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
Lassie: HOL4 Tactics by Example. CoRR (2021)
Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis
A Two-Phase Approach for Conditional Floating-Point Verification. TACAS (2) (2021)
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Deductive Verification of Floating-Point Java Programs in KeY. TACAS (2) (2021)
Eva Darulova, Babak Falsafi, Andreas Gerstlauer, Phillip Stanley-Marbell
Approximate Systems (Dagstuhl Seminar 21302). Dagstuhl Reports 11 (6) (2021)
Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter
Interval constraint-based mutation testing of numerical specifications. ISSTA (2021)
Robert Rabe, Anastasiia Izycheva, Eva Darulova
Regime Inference for Sound Floating-Point Optimizations. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Ivan Gavran, Eva Darulova, Rupak Majumdar
Interactive synthesis of temporal specifications from examples and natural language. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Eva Darulova
Towards a sound approximating compiler for numerical kernels (keynote). SCALA@SPLASH (2020)
Anastasiia Izycheva, Eva Darulova, Helmut Seidl
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. SAS (2020)
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI (2020)
Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Comput. Surv. 53 (3) (2020)
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Using E-Graphs for CAD Parameter Inference. CoRR (2019)
Debasmita Lohar, Milos Prokop, Eva Darulova
Sound Probabilistic Numerical Error Analysis. IFM (2019)
Anastasiia Izycheva, Eva Darulova, Helmut Seidl
Synthesizing Efficient Low-Precision Kernels. ATVA (2019)
Joachim Bard, Heiko Becker, Eva Darulova
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. FM (2019)
Eva Darulova, Anastasia Volkova
Sound Approximation of Programs with Elementary Functions. CAV (2) (2019)
Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. CAV (2) (2019)
Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Brendon Boldt, Ivan Gavran, Eva Darulova, Rupak Majumdar
Precise but Natural Specification for Robot Tasks. CoRR (2018)
Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). TACAS (1) (2018)
Eva Darulova, Anastasia Volkova
Sound Approximation of Programs with Elementary Functions. CoRR (2018)
Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. FMCAD (2018)
Eva Darulova, Einar Horn, Saksham Sharma
Sound mixed-precision optimization with rewriting. ICCPS (2018)
Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey
Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms. CoRR (2018)
Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
Combining Tools for Optimization and Analysis of Floating-Point Computations. FM (2018)
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
Combining Tools for Optimization and Analysis of Floating-Point Computations. CoRR (2018)
Heiko Becker, Eva Darulova, Magnus O. Myreen
A Verified Certificate Checker for Floating-Point Error Bounds. CoRR (2017)
Anastasiia Izycheva, Eva Darulova
On Sound Relative Error Bounds for Floating-Point Arithmetic. CoRR (2017)
Eva Darulova, Viktor Kuncak
Towards a Compiler for Reals. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). Dagstuhl Reports 7 (8) (2017)
Anastasiia Izycheva, Eva Darulova
On sound relative error bounds for floating-point arithmetic. FMCAD (2017)
Eva Darulova, Einar Horn, Saksham Sharma
Sound Mixed-Precision Optimization with Rewriting. CoRR (2017)
Eva Darulova, Viktor Kuncak
Sound compilation of reals. POPL (2014)
Eva Darulova, Viktor Kuncak
On Numerical Error Propagation with Sensitivity. CoRR (2014)
Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha
Synthesis of fixed-point programs. EMSOFT (2013)
Eva Darulova, Viktor Kuncak
On Sound Compilation of Reals. CoRR (2013)
Eva Darulova, Viktor Kuncak
Certifying Solutions for Numerical Constraints. RV (2012)
Eva Darulova, Viktor Kuncak
Trustworthy numerical computation in Scala. OOPSLA (2011)