Registered user since Thu 1 Aug 2019
I am interested in the application of programming languages to distributed systems. My aim in this area is to find language abstractions that make distributed programs as natural to write, mechanically verify, and informally think about as traditional sequential programs.
|POPL 2021||Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile