Write a Blog >>
David Justo

Registered user since Mon 11 Nov 2019

Name: David Justo

Bio: David Justo is a graduate student at the University of California, San Diego. He’s interested in programming languages, programming environments, database theory, and formal methods.

Country: United States

Affiliation: University of California, San Diego

Personal website: http://acsweb.ucsd.edu/~djusto/

Research interests: Programming Languages, Formal Methods

Contributions

POPL 2020Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track
Show activities from other conferences

Using general profile