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

ICFP 2020 Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track
POPL 2020 Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track