
Registered user since Sun 3 Sep 2017
Name:Harold Carr
Country:United States
Affiliation:Oracle Labs, USA
Personal website:http://haroldcarr.com/
Twitter:https://twitter.com/haroldcarr
Research interests:consensus algorithms and applications
Contributions
CPP 2021 | Formal Verification of Authenticated, Append-Only Skip Lists in Agda | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile