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