Registered user since Sun 3 Sep 2017
Name: Harold Carr
Bio: http://haroldcarr.com/about/
Country: United States
Affiliation: Oracle Labs, USA
Personal website: http://haroldcarr.com/
Twitter: https://twitter.com/haroldcarr
GitHub: https://github.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