Eva Darulova
Universitetslektor i datalogi med inriktning mot programspråk vid Institutionen för informationsteknologi; Datalogi
- Telefon:
- 018-471 33 90
- E-post:
- eva.darulova@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Eva Darulova vid Institutionen för informationsteknologi; Datalogi
- Akademiska meriter:
- Docent
Mer information visas för dig som medarbetare om du loggar in.
Kort presentation
Denna text finns inte på svenska, därför visas den engelska versionen.
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.
Nyckelord
- approximate computing
- program synthesis
- program verification
- programming languages
Publikationer
Senaste publikationer
- 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)
Alla publikationer
Artiklar
- Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY (2023)
- Sound Mixed Fixed-Point Quantization of Neural Networks (2023)
Konferenser
- 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)