Eva Darulova

Registered user since Thu 18 Jun 2015

Name: Eva Darulova

Affiliation: MPI-SWS, Germany

Personal website: http://mpi-sws.org/~eva/

Contributions

PLDI 2021Committee Member in Program Committee within the PLDI Research Papers-track
FHPNC 2020Committee Member in Program Committee within the FHPNC 2020 (cancelled)-track
Scala 2020Invited Speaker in Invited Speakers within the Scala-track
Author of Towards a Sound Approximating Compiler for Numerical Kernels (Keynote) within the Scala-track
SAS 2020Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track
PLMW@PLDI 2020Panelist of Panel: Surviving Grad School within the PLMW@PLDI 2020-track
SPLASH 2020Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA-track
Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA Artifacts-track
PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
Committee Member in SRC Committee within the Student Research Competition-track
Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
FHPNC 2019Committee Member in Program Committee within the FHPNC-track
SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2019Committee Member in Program Committee within the Research Papers-track
PLMW @ PLDI 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
NPFL 2018Author of Daisy - a framework for sound accuracy analysis and optimization of numerical programs within the NPFL 2018-track
Scala 2017Committee Member in Program Committee within the Scala 2017-track
Onward! 2017Committee Member in Program Committee within the Onward! Papers-track
PLDI 2018Committee Member in Student Research Competition Committee
Session Chair of Analyzing Probabilistic Programs (part of PLDI Research Papers)
Committee Member in Program Committee
PLMWAuthor of Student Interaction Activity within the PLMW-track
Committee Member in Program Committee within the PLMW-track
CC 2017Committee Member in Program Committee within the Research Papers-track
Scala 2016Committee Member in Program Committee within the Scala-track
PLDI 2017Committee Member in External Review Committee
VMCAISession Chair of Abstraction I (part of VMCAI)
Committee Member in Program Committee
PLDI 2016Committee Member in External Review Committee
SPLASH 2011Author of Trustworthy Numerical Computation in Scala within the OOPSLA-track