Eva Darulova Bruggisser
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, Regementsvägen 10
- Postadress:
- Box 337
751 05 UPPSALA
- Akademiska meriter:
- Docent
Nyckelord
- programming languages
- program verification
- program synthesis
- approximate computing
Publikationer
Senaste publikationer
Scaling up Roundoff Analysis of Functional Data Structure Programs
Ingår i Static Analysis, s. 371-402, 2023
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
Ingår i Static Analysis, s. 41-64, 2023
Sound Mixed Fixed-Point Quantization of Neural Networks
Ingår i ACM Transactions on Embedded Computing Systems, s. 1-26, 2023
- DOI för Sound Mixed Fixed-Point Quantization of Neural Networks
- Ladda ner fulltext (pdf) av Sound Mixed Fixed-Point Quantization of Neural Networks
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Ingår i International Journal on Software Tools for Technology Transfer, s. 185-204, 2023
- DOI för Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
- Ladda ner fulltext (pdf) av Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Dandelion: Certified Approximations of Elementary Functions
Ingår i 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022
- DOI för Dandelion: Certified Approximations of Elementary Functions
- Ladda ner fulltext (pdf) av Dandelion: Certified Approximations of Elementary Functions
Alla publikationer
Artiklar i tidskrift
Sound Mixed Fixed-Point Quantization of Neural Networks
Ingår i ACM Transactions on Embedded Computing Systems, s. 1-26, 2023
- DOI för Sound Mixed Fixed-Point Quantization of Neural Networks
- Ladda ner fulltext (pdf) av Sound Mixed Fixed-Point Quantization of Neural Networks
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Ingår i International Journal on Software Tools for Technology Transfer, s. 185-204, 2023
- DOI för Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
- Ladda ner fulltext (pdf) av Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Konferensbidrag
Scaling up Roundoff Analysis of Functional Data Structure Programs
Ingår i Static Analysis, s. 371-402, 2023
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
Ingår i Static Analysis, s. 41-64, 2023
Dandelion: Certified Approximations of Elementary Functions
Ingår i 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022
- DOI för Dandelion: Certified Approximations of Elementary Functions
- Ladda ner fulltext (pdf) av Dandelion: Certified Approximations of Elementary Functions
Inferring Interval-Valued Floating-Point Preconditions
Ingår i Tools and algorithms for the construction and analysis of systems, TACAS 2022, pt I, s. 303-321, 2022
- DOI för Inferring Interval-Valued Floating-Point Preconditions
- Ladda ner fulltext (pdf) av Inferring Interval-Valued Floating-Point Preconditions
Verified Compilation and Optimization of Floating-Point Programs in CakeML
Ingår i 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
- DOI för Verified Compilation and Optimization of Floating-Point Programs in CakeML
- Ladda ner fulltext (pdf) av Verified Compilation and Optimization of Floating-Point Programs in CakeML
REST: Integrating Term Rewriting with Program Verification
Ingår i 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
- DOI för REST: Integrating Term Rewriting with Program Verification
- Ladda ner fulltext (pdf) av REST: Integrating Term Rewriting with Program Verification