Eva Darulova -

Registered user since Thu 18 Jun 2015

Name:Eva Darulova

Country:Sweden

Affiliation:Uppsala University

Personal website:https://www.it.uu.se/katalog/evada737

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