Marta Davila Mateu - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Wed 11 Oct 2023

Name:Marta Davila Mateu

Country:United States

Affiliation:University of Southern California

Personal website: https://www.martadavma.com/

GitHub: https://github.com/martadavma

Research interests:Formal Methods, Program Synthesis

Contributions

2023

SPLASH

Synthesizing Recursive Programs Through Dataflow Constraints

Show activities from other conferences

SPLASH 2023-profile
View general profile