Eva Darulova Bruggisser

Senior Lecturer/Associate Professor at Department of Information Technology; Division of Computing Science

Telephone:: +46 18 471 33 90
E-mail:: eva.darulova@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Eva Darulova Bruggisser at Department of Information Technology; Division of Computing Science

Academic merits:: Docent

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

programming languages
program verification
program synthesis
approximate computing

Publications

Recent publications

All publications

Articles in journal

Sound Mixed Fixed-Point Quantization of Neural Networks

Lohar, Debasmita; Jeangoudoux, Clothilde; Volkova, Anastasia; Darulova, Eva

Part of ACM Transactions on Embedded Computing Systems, p. 1-26, 2023
- DOI for Sound Mixed Fixed-Point Quantization of Neural Networks
- Download full text (pdf) of Sound Mixed Fixed-Point Quantization of Neural Networks
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

Abbasi, Rosa; Schiffl, Jonas; Darulova, Eva; Ulbrich, Mattias et al.

Part of International Journal on Software Tools for Technology Transfer, p. 185-204, 2023
- DOI for Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
- Download full text (pdf) of Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY