Trustworthy numerical computation in Scala. - Eva Darulova; Viktor Kuncak (OOPSLA, 2011)

Certifying Solutions for Numerical Constraints. - Eva Darulova; Viktor Kuncak (RV, 2012)

Synthesis of fixed-point programs. - Eva Darulova; Viktor Kuncak; Rupak Majumdar; Indranil Saha (EMSOFT, 2013)

Sound compilation of reals. - Eva Darulova; Viktor Kuncak (POPL, 2014)

On Numerical Error Propagation with Sensitivity. - Eva Darulova; Viktor Kuncak (CoRR, 2014)

Programming with Numerical Uncertainties. - Eva Darulova (2014)

On sound relative error bounds for floating-point arithmetic. - Anastasiia Izycheva; Eva Darulova (FMCAD, 2017)

A Verified Certificate Checker for Floating-Point Error Bounds. - Heiko Becker; Eva Darulova; Magnus O. Myreen (CoRR, 2017)

Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). - Eva Darulova; Alastair F. Donaldson; Zvonimir Rakamaric; Cindy Rubio-González (Dagstuhl Reports, 2017)

Towards a Compiler for Reals. - Eva Darulova; Viktor Kuncak (ACM Trans. Program. Lang. Syst., 2017)

Combining Tools for Optimization and Analysis of Floating-Point Computations. - Heiko Becker; Pavel Panchekha; Eva Darulova; Zachary Tatlock (FM, 2018)

A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. - Heiko Becker; Nikita Zyuzin; Raphaël Monat; Eva Darulova; Magnus O. Myreen; Anthony C. J. Fox (FMCAD, 2018)

Sound mixed-precision optimization with rewriting. - Eva Darulova; Einar Horn; Saksham Sharma (ICCPS, 2018)

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). - Eva Darulova; Anastasiia Izycheva; Fariha Nasir; Fabian Ritter 002; Heiko Becker; Robert Bastian (TACAS (1), 2018)

Precise but Natural Specification for Robot Tasks. - Brendon Boldt; Ivan Gavran; Eva Darulova; Rupak Majumdar (CoRR, 2018)

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms. - 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; et al. (CoRR, 2018)

Discrete Choice in the Presence of Numerical Uncertainties. - Debasmita Lohar; Eva Darulova; Sylvie Putot; Eric Goubault (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Synthesizing Efficient Low-Precision Kernels. - Anastasiia Izycheva; Eva Darulova; Helmut Seidl (ATVA, 2019)

Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. - Heiko Becker; Eva Darulova; Magnus O. Myreen; Zachary Tatlock (CAV (2), 2019)

Sound Approximation of Programs with Elementary Functions. - Eva Darulova; Anastasia Volkova (CAV (2), 2019)

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. - Joachim Bard; Heiko Becker; Eva Darulova (FM, 2019)

Sound Probabilistic Numerical Error Analysis. - Debasmita Lohar; Milos Prokop; Eva Darulova (IFM, 2019)

Using E-Graphs for CAD Parameter Inference. - Chandrakana Nandi; Adam Anderson 004; Max Willsey; James R. Wilcox; Eva Darulova; Dan Grossman; Zachary Tatlock (CoRR, 2019)

Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. - Mahmoud Salamati; Rocco Salvia; Eva Darulova; Sadegh Soudjani; Rupak Majumdar (ACM Trans. Embed. Comput. Syst., 2019)

Synthesizing structured CAD models with equality saturation and inverse transformations. - Chandrakana Nandi; Max Willsey; Adam Anderson 004; James R. Wilcox; Eva Darulova; Dan Grossman; Zachary Tatlock (PLDI, 2020)

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. - Anastasiia Izycheva; Eva Darulova; Helmut Seidl (SAS, 2020)

Towards a sound approximating compiler for numerical kernels (keynote). - Eva Darulova (SCALA@SPLASH, 2020)

Interactive synthesis of temporal specifications from examples and natural language. - Ivan Gavran; Eva Darulova; Rupak Majumdar (Proc. ACM Program. Lang., 2020)

Lassie: HOL4 tactics by example. - Heiko Becker; Nathaniel Bos; Ivan Gavran; Eva Darulova; Rupak Majumdar (CPP, 2021)

Interval constraint-based mutation testing of numerical specifications. - Clothilde Jeangoudoux; Eva Darulova; Christoph Quirin Lauter (ISSTA, 2021)

Deductive Verification of Floating-Point Java Programs in KeY. - Rosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt (TACAS (2), 2021)

A Two-Phase Approach for Conditional Floating-Point Verification. - Debasmita Lohar; Clothilde Jeangoudoux; Joshua Sobel; Eva Darulova; Maria Christakis (TACAS (2), 2021)

Exploiting Errors for Efficiency: A Survey from Circuits to Applications. - 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; et al. (ACM Comput. Surv., 2021)

Approximate Systems (Dagstuhl Seminar 21302). - Eva Darulova; Babak Falsafi; Andreas Gerstlauer; Phillip Stanley-Marbell (Dagstuhl Reports, 2021)

Regime Inference for Sound Floating-Point Optimizations. - Robert Rabe; Anastasiia Izycheva; Eva Darulova (ACM Trans. Embed. Comput. Syst., 2021)

Verified Compilation and Optimization of Floating-Point Programs in CakeML. - Heiko Becker; Robert Rabe; Eva Darulova; Magnus O. Myreen; Zachary Tatlock; Ramana Kumar; Yong Kiam Tan; Anthony C. J. Fox (ECOOP, 2022)

REST: Integrating Term Rewriting with Program Verification. - Zachary Grannan; Niki Vazou; Eva Darulova; Alexander J. Summers (ECOOP, 2022)

Dandelion: Certified Approximations of Elementary Functions. - Heiko Becker; Mohit Tekriwal; Eva Darulova; Anastasia Volkova; Jean-Baptiste Jeannin (ITP, 2022)

Inferring Interval-Valued Floating-Point Preconditions. - Jonas Krämer; Lionel Blatter; Eva Darulova; Mattias Ulbrich (TACAS (1), 2022)

REST: Integrating Term Rewriting with Program Verification (Extended Version). - Zachary Grannan; Niki Vazou; Eva Darulova; Alexander J. Summers (CoRR, 2022)

Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). - Heiko Becker; Robert Rabe; Eva Darulova; Magnus O. Myreen; Zachary Tatlock; Ramana Kumar; Yong Kiam Tan; Anthony C. J. Fox (Dagstuhl Artifacts Ser., 2022)

REST: Integrating Term Rewriting with Program Verification (Artifact). - Zachary Grannan; Niki Vazou; Eva Darulova; Alexander J. Summers (Dagstuhl Artifacts Ser., 2022)

Introduction to the Special Issue on Approximate Systems. - Armin Alaghi; Eva Darulova; Andreas Gerstlauer; Phillip Stanley-Marbell (ACM Trans. Design Autom. Electr. Syst., 2022)

Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. - Rosa Abbasi; Eva Darulova (SAS, 2023)

Scaling up Roundoff Analysis of Functional Data Structure Programs. - Anastasia Isychev; Eva Darulova (SAS, 2023)

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. - Rosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt (Int. J. Softw. Tools Technol. Transf., 2023)

Sound Mixed Fixed-Point Quantization of Neural Networks. - Debasmita Lohar; Clothilde Jeangoudoux; Anastasia Volkova; Eva Darulova (ACM Trans. Embed. Comput. Syst., 2023)