Eva Darulova - DLS 2020

Sun 15 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Registered user since Thu 18 Jun 2015

Name:Eva Darulova

Affiliation:MPI-SWS

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

Contributions

2020

SPLASH

Interactive Synthesis of Temporal Specifications from Examples and Natural Language
Interactive Synthesis of Temporal Specifications from Examples and Natural Language

Static Analysis Symposium

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

Scala

Show activities from other conferences

SPLASH 2020-profile
View general profile