(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.

Projects

Students

Heiko Becker
Debasmita Lohar
Anastasiia Izycheva

Teaching

Service

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

Publications

Towards a Compiler for Reals. E. Darulova, V. Kuncak, TOPLAS (to appear)
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

Technical Reports

Towards a Compiler for Reals Eva Darulova, Viktor Kuncak, 2016

Snail Mail

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

Imprint Data Protection