Eva Darulova

Registered user since Thu 18 Jun 2015

Name:Eva Darulova
Country:Germany
Affiliation:MPI-SWS
Personal website:http://mpi-sws.org/~eva/

Contributions

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
FHPNC 2021 Committee Member in Program Committee within the FHPNC 2021-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
CPP 2021 Author of Lassie: HOL4 Tactics by Example within the CPP 2021-track
FHPNC 2020 Committee Member in Program Committee within the FHPNC 2020 (cancelled)-track
Scala 2020 Keynote Speaker in Keynote within the Scala-track
Author of Towards a Sound Approximating Compiler for Numerical Kernels (Keynote) within the Scala-track
ISSTA 2021 Author of Interval Constraint-Based Mutation Testing of Numerical Specifications within the Technical Papers-track
SAS 2020 Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track
PLMW@PLDI 2020 Panelist of Panel: Surviving Grad School within the PLMW@PLDI 2020-track
SPLASH 2020 Author 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 2020 Committee 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 2019 Committee Member in Program Committee within the FHPNC-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2019 Committee Member in Program Committee within the Research Papers-track
PLMW @ PLDI 2018 Presenter of Poster Session within the PLMW @ PLDI 2018-track
NPFL 2018 Author of Daisy - a framework for sound accuracy analysis and optimization of numerical programs within the NPFL 2018-track
Scala 2017 Committee Member in Program Committee within the Scala 2017-track
Onward! 2017 Committee Member in Program Committee within the Onward! Papers-track
PLDI 2018 Committee Member in Student Research Competition Committee
Session Chair of Analyzing Probabilistic Programs (part of PLDI Research Papers)
Committee Member in Program Committee
PLMW Author of Student Interaction Activity within the PLMW-track
Committee Member in Program Committee within the PLMW-track
CC 2017 Committee Member in Program Committee within the Research Papers-track
Scala 2016 Committee Member in Program Committee within the Scala-track
PLDI 2017 Committee Member in External Review Committee
VMCAI Session Chair of Abstraction I (part of VMCAI)
Committee Member in Program Committee
PLDI 2016 Committee Member in External Review Committee
SPLASH 2011 Author of Trustworthy Numerical Computation in Scala within the OOPSLA-track