Eva Darulova

Registered user since Thu 18 Jun 2015

Name:Eva Darulova
Country:Sweden
Affiliation:Uppsala University

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
SPLASH 2022 Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the COVID Time Papers In Person-track
ESEC/FSE 2022 Committee Member in Program Committee within the Research Papers-track
ECOOP 2022 Author of REST: Integrating Term Rewriting with Program Verification within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Author of Verified Compilation and Optimization of Floating-Point Programs in CakeML within the Research Papers-track
FHPNC 2021 Committee Member in Program Committee within the FHPNC 2021-track
SPLASH 2021 Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the SIGPLAN Papers-track
ISSTA 2021 Author of Interval Constraint-Based Mutation Testing of Numerical Specifications within the Technical Papers-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
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
SAS 2020 Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-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
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
PLMW@PLDI 2020 Panelist of Panel: Surviving Grad School within the PLMW@PLDI 2020-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
FHPNC 2019 Committee Member in Program Committee within the FHPNC-track
ECOOP 2019 Committee Member in Program Committee within the Research Papers-track
NPFL 2018 Author of Daisy - a framework for sound accuracy analysis and optimization of numerical programs within the NPFL 2018-track
PLMW @ PLDI 2018 Presenter of Poster Session within the PLMW @ PLDI 2018-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
Onward! 2017 Committee Member in Program Committee within the Onward! Papers-track
Scala 2017 Committee Member in Program Committee within the Scala 2017-track
PLDI 2017 Committee Member in External Review Committee
CC 2017 Committee Member in Program Committee within the Research Papers-track
PLMW Author of Student Interaction Activity within the PLMW-track
Committee Member in Program Committee within the PLMW-track
Scala 2016 Committee Member in Program Committee within the Scala-track
PLDI 2016 Committee Member in External Review Committee
VMCAI Session Chair of Abstraction I (part of VMCAI)
Committee Member in Program Committee
SPLASH 2011 Author of Trustworthy Numerical Computation in Scala within the OOPSLA-track