ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / ECOOP 2020 (series) / Eva Darulova
Eva Darulova

Registered user since Thu 18 Jun 2015

Name: Eva Darulova

Affiliation: MPI-SWS

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

Contributions

Scala 2020 Keynote Speaker in Keynote within the Scala-track
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
SAS 2020 Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
SPLASH 2020 Interactive Synthesis of Temporal Specifications from Examples and Natural Language
Interactive Synthesis of Temporal Specifications from Examples and Natural Language
Show activities from other conferences

SPLASH 2020-profile
View general profile