SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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
Research interests:Programming Languages, Formal Methods, Databases, Distributed Systems, Programming Models, Serverless

Contributions

SPLASH 2021 Durable Functions: Semantics for Stateful Serverless
Show activities from other conferences

Using general profile