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, Germany

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

Contributions

Scala 2020Invited Speaker in Invited Speakers within the Scala-track
Author of An Invited Talk within the Scala-track
SAS 2020Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS 2020-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