Eva Darulova
Senior Lecturer/Associate Professor at Institutionen för informationsteknologi; Datalogi
- Telephone:
- +46 18 471 33 90
- E-mail:
- eva.darulova@it.uu.se
- Visiting address:
- Hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
Download contact information for Eva Darulova at Institutionen för informationsteknologi; Datalogi
- Academic merits:
- Docent
More information is available to staff who log in.
Short presentation
I am generally interested in programming languages, software verification, program synthesis and approximate computing. Currently, my focus lies on applications in numerical and embedded domains.
More information, including publications, can be found on my personal webpage.
Keywords
- approximate computing
- program synthesis
- program verification
- programming languages
Publications
Recent publications
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs (2023)
- Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY (2023)
- Scaling up Roundoff Analysis of Functional Data Structure Programs (2023)
- Sound Mixed Fixed-Point Quantization of Neural Networks (2023)
- Verified Compilation and Optimization of Floating-Point Programs in CakeML (2022)
All publications
Articles
- Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY (2023)
- Sound Mixed Fixed-Point Quantization of Neural Networks (2023)
Conferences
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs (2023)
- Scaling up Roundoff Analysis of Functional Data Structure Programs (2023)
- Verified Compilation and Optimization of Floating-Point Programs in CakeML (2022)
- Dandelion (2022)
- REST (2022)
- Inferring Interval-Valued Floating-Point Preconditions (2022)
