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


POPL 2020 Program Synthesis by Type-Guided Abstraction Refinement
Show activities from other conferences

POPL 2020-profile
View general profile