Eva Darulova

Max Planck Institute for Software Systems (MPI-SWS)
Paul-Ehrlich-Strasse, Building G 26
room 417, Kaiserslautern
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, program synthesis and approximate computing. Currently, my focus lies on applications in numerical, embedded or cyber-physical domains.

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

Projects

PhD Students

Postdocs

Clothilde Jeangoudoux

Teaching

Program Analysis (winter 20/21)
Program Analysis (winter 19/20)
Advanced Program Analysis (blockseminar march 19)
Program Analysis (winter 18/19)
Program Synthesis (summer 2018)
Static Program Analysis (summer 2017)
Approximate Computing: Promise or Hype? (summer 2016)

Service

current: Correctness'20, PLDI'21
recent: CAV'20 (PC), PLDI'20 (ERC), VSTTE'20 (PC), ECOOP'19 (PC), CAV'19 (PC), OOPSLA'19 (ERC), WAX'19 (PC), FHPNC'19 (PC), PLDI'18 (PC, SRC), CAV'18 (AEC), iFM (PC), CGO'18 (PC)

Publications

Interactive Synthesis of Temporal Specifications from Examples and Natural Language I. Gavran, E. Darulova, R. Majumdar. conditionally accepted at OOPSLA'20
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis A. Izycheva, E. Darulova, H. Seidl. SAS'20
Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms, P. Stanley-Marbell, A. Alaghi, M. Carbin, E. Darulova, L. Dolecek, A. Gerstlauer, G. Gillani, D. Jevdjic, T. Moreau, M. Cacciotti, A. Daglis, N. Enright Jerger, B. Falsafi, A. Misailovic, A. Sampson, and D. Zufferey. ACM Computing Surveys, June 2020
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations, C. Nandi, M. Willsey, A. Anderson, J. R. Wilcox, E. Darulova, D. Grossman, Z. Tatlock. PLDI'20
Sound Probabilistic Numerical Error Analysis, D. Lohar, M. Prokop, E. Darulova. iFM'19
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control, M. Salamati, R. Salvia, E. Darulova, S. Soudjani and R. Majumdar. EMSOFT'19
Synthesizing Efficient Low-Precision Kernels, A. Izycheva, E. Darulova, H. Seidl. ATVA'19
Formally Verified Roundoff Errors using SMT-based Certificates and Subdivisions, H. Becker, J. Bard, E. Darulova. FM'19
Icing: Supporting Fast-math Style Optimizations in a Verified Compiler, H. Becker, E. Darulova, M. O. Myreen, Z. Tatlock. CAV'19
Sound Approximation of Programs with Elementary Functions, E. Darulova, A. Lozanova. CAV'19
Precise but Natural Specification for Robot Tasks B. Boldt, I. Gavran, E. Darulova, R. Majumdar. CoRR abs/1803.02238
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4 H. Becker, N. Zyuzin, R. Monat, E. Darulova, M. O. Myreen and A. Fox. FMCAD'18
Discrete Choice in the Presence of Numerical Uncertainties D. Lohar, E. Darulova, S. Putot, E. Goubault. EMSOFT'18
Combining Tools for Optimization and Analysis of Floating-Point Computations H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock. 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
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

Joachim Bard (MSc'19)
Nikita Zyuzin (MSc'19)
Youcef Merah (MSc'18)
Safya Alzayat (BSc'18)
Anastasiia Izycheva (MSc'17)

Snail Mail

MPI-SWS
Paul-Ehrlich-Strasse, G 26
D-67663 Kaiserslautern
Germany

Imprint Data Protection