Registered user since Mon 11 Nov 2019
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.
|PLDI 2022||(OOPSLA 2021) Durable functions: semantics for stateful serverless|
|Show activities from other conferences|