Eva Darulova

According to our database, Eva Darulova authored at least 47 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Sound Mixed Fixed-Point Quantization of Neural Networks.

Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova

ACM Trans. Embed. Comput. Syst., October, 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., April, 2023

Scaling up Roundoff Analysis of Functional Data Structure Programs.

Anastasia Isychev, Eva Darulova

Proceedings of the Static Analysis - 30th International Symposium, 2023

Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs.

Rosa Abbasi, Eva Darulova

Proceedings of the Static Analysis - 30th International Symposium, 2023

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

REST: Integrating Term Rewriting with Program Verification (Artifact).

Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers

Dagstuhl Artifacts Ser., 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 (Extended Version).

Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers

CoRR, 2022

Inferring Interval-Valued Floating-Point Preconditions.

Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Dandelion: Certified Approximations of Elementary Functions.

Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

REST: Integrating Term Rewriting with Program Verification.

Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

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

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Regime Inference for Sound Floating-Point Optimizations.

Robert Rabe, Anastasiia Izycheva, Eva Darulova

ACM Trans. Embed. Comput. Syst., 2021

Approximate Systems (Dagstuhl Seminar 21302).

Eva Darulova, Babak Falsafi, Andreas Gerstlauer, Phillip Stanley-Marbell

Dagstuhl Reports, 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, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

ACM Comput. Surv., 2021

A Two-Phase Approach for Conditional Floating-Point Verification.

Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Deductive Verification of Floating-Point Java Programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Interval constraint-based mutation testing of numerical specifications.

Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Lassie: HOL4 tactics by example.

Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Interactive synthesis of temporal specifications from examples and natural language.

Ivan Gavran, Eva Darulova, Rupak Majumdar

Proc. ACM Program. Lang., 2020

Towards a sound approximating compiler for numerical kernels (keynote).

Eva Darulova

Proceedings of the SPLASH '20: Conference on Systems, 2020

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.

Anastasiia Izycheva, Eva Darulova, Helmut Seidl

Proceedings of the Static Analysis - 27th International Symposium, 2020

Synthesizing structured CAD models with equality saturation and inverse transformations.

Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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

Using E-Graphs for CAD Parameter Inference.

Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

CoRR, 2019

Sound Probabilistic Numerical Error Analysis.

Debasmita Lohar, Milos Prokop, Eva Darulova

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.

Joachim Bard, Heiko Becker, Eva Darulova

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Sound Approximation of Programs with Elementary Functions.

Eva Darulova, Anastasia Volkova

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler.

Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Synthesizing Efficient Low-Precision Kernels.

Anastasiia Izycheva, Eva Darulova, Helmut Seidl

Proceedings of the Automated Technology for Verification and Analysis, 2019

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

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, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

CoRR, 2018

Precise but Natural Specification for Robot Tasks.

Brendon Boldt, Ivan Gavran, Eva Darulova, Rupak Majumdar

CoRR, 2018

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper).

Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Sound mixed-precision optimization with rewriting.

Eva Darulova, Einar Horn, Saksham Sharma

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Combining Tools for Optimization and Analysis of Floating-Point Computations.

Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Towards a Compiler for Reals.

Eva Darulova, Viktor Kuncak

ACM Trans. Program. Lang. Syst., 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

A Verified Certificate Checker for Floating-Point Error Bounds.

Heiko Becker, Eva Darulova, Magnus O. Myreen

CoRR, 2017

On sound relative error bounds for floating-point arithmetic.

Anastasiia Izycheva, Eva Darulova

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2014

Programming with Numerical Uncertainties.

Eva Darulova

PhD thesis, 2014

On Numerical Error Propagation with Sensitivity.

Eva Darulova, Viktor Kuncak

CoRR, 2014

Sound compilation of reals.

Eva Darulova, Viktor Kuncak

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Synthesis of fixed-point programs.

Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha

Proceedings of the International Conference on Embedded Software, 2013

2012

Certifying Solutions for Numerical Constraints.

Eva Darulova, Viktor Kuncak

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Trustworthy numerical computation in Scala.

Eva Darulova, Viktor Kuncak

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011