(hair color subject to change)

Eva Darulova

Max Planck Institute for Software Systems (MPI-SWS)
Saarland Informatics Campus (SIC)
Building E1.5, room 409, Saarbrücken
eva at mpi - sws dot org
+49 681 9303-8101

I am a tenure-track faculty at MPI-SWS. Before that, I did my PhD with Viktor Kuncak at EPFL. I am generally interested in programming languages, software verification and approximate computing. Currently, my focus lies on applications in numerical, embedded or cyber-physical domains.

Internship, MSc and PhD projects: in case you are interested drop me an email with a brief statement of interest and your CV.

Projects

PhD Students

Heiko Becker
Debasmita Lohar

Teaching

Program Synthesis (summer 2018)
Static Program Analysis (summer 2017)
Approximate Computing: Promise or Hype? (summer 2016)

Service

current: PLDI'18 (PC, SRC), CAV'18 (AEC), iFM (PC), PACT (ERC)
recent: CGO'18 (PC), CAV'17 workshop chair, Onward!'17 (PC), NSV'17 (PC), WAX'17, PLDI'17 (ERC), PLMW@POPL'17 co-organiser, CC’17 (PC), PLDI’16 (ERC), Scala’16 (PC), VMCAI’16 (PC)

Publications

Combining Tools for Optimization and Analysis of Floating-Point Computations H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock to appear at FM'18
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper) E. Darulova, A Izycheva, F. Nasir, F. Ritter, H. Becker, and R. Bastian TACAS'18
Sound Mixed-Precision Optimization with Rewriting E. Darulova, E. Horn, S. Sharma, ICCPS'18
On Sound Relative Error Bounds for Floating-Point Arithmetic A. Izycheva, E. Darulova, FMCAD 2017
A Verified Certificate Checker for Floating-Point Error Bounds H. Becker, E. Darulova, M. O. Myreen, arXiv:1707.02115, 2017
Towards a Compiler for Reals E. Darulova, V. Kuncak, ACM Transactions on Programming Languages and Systems (TOPLAS), 2017
Programming with Numerical Uncertainties Eva Darulova, EPFL PhD thesis 2014
Sound Compilation of Reals. E. Darulova, V. Kuncak, POPL 2014
Programming Language and Compiler Support for Uncertainties E. Darulova, V. Kuncak, First SIGPLAN Workshop on Probabilistic and Approximate Computing (APPROX'14). Co-located with PLDI 2014 in Edinburgh, Scotland. Invited Position Paper
Synthesis of Fixed-Point Programs E. Darulova, V. Kuncak, I. Saha, R. Majumdar, EMSOFT 2013
Certifying Solutions for Numerical Constraints E. Darulova, V. Kuncak, RV 2012
Trustworthy Numerical Computation in Scala E. Darulova, V. Kuncak, OOPSLA 2011

Alumni

Anastasiia Izycheva (MSc'17)

Snail Mail

MPI-SWS
Campus E 1 4
D-66123 Saarbruecken
Germany

Imprint Data Protection