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 2020Keynote Speaker in Keynote 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
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
Show activities from other conferences

Using general profile