Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Harold Carr

Registered user since Sun 3 Sep 2017

Name:Harold Carr
Country:United States
Affiliation:Oracle Labs, USA
Personal website:http://haroldcarr.com/
Research interests:consensus algorithms and applications


CPP 2021 Formal Verification of Authenticated, Append-Only Skip Lists in Agda
Show activities from other conferences

POPL 2021-profile
View general profile