Write a Blog >>

Registered user since Tue 19 Jan 2021

Name:David Zhao
Affiliation:The University of Sydney

Contributions

POPL 2020 Provenance-Guided Synthesis of Datalog Programs
Show activities from other conferences

POPL 2020-profile
View general profile