research
∙
02/01/2021
Verifying the Hashgraph Consensus Algorithm
The Hashgraph consensus algorithm is an algorithm for asynchronous Byzan...
share
research
∙
04/10/2019
Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency
Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declar...
research
∙
01/04/2018
Hygienic Source-Code Generation Using Functors
Existing source-code-generating tools such as Lex and Yacc suffer from p...
research
∙
01/01/2018