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

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

SPLASH 2020-profile
View general profile