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

Personal website:https://davidmrdavid.github.io/about.html

Twitter:https://twitter.com/davidjustodavid

GitHub:https://github.com/httpsgithubcomdavidmrdavid

Research interests:Programming Languages, Formal Methods, Databases, Distributed Systems, Programming Models, Serverless

Contributions

ECOOP 2023	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
ECOOP 2022	Committee Member in Extended Review Committee within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2022	Author of (OOPSLA 2021) Durable functions: semantics for stateful serverless within the SIGPLAN Track-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