David Justo

Registered user since Mon 11 Nov 2019

Name:David Justo
Bio:

David Justo is a Software Engineer at Microsoft, working on programming models for distributed systems and developer tooling more broadly. Previously, he was an MS student at UC San Diego working on program synthesis and polyglot programming. He’s interested in programming languages, programming environments, database theory, and formal methods.

Country:United States
Affiliation:Microsoft Azure
Research interests:Programming Languages, Formal Methods, Databases, Distributed Systems, Programming Models, Serverless

Contributions

ECOOP 2022 Committee Member in Extended Review Committee within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
POPL 2022 Session Chair of ShutdownPL (part of Diversity, Equity and Inclusion)
SPLASH 2021 Author of Durable Functions: Semantics for Stateful Serverless within the OOPSLA-track
ICFP 2021 Organizer of ShutdownPL within the Social Events-track
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