research
∙
05/29/2019
Read-Uncommitted Transactions for Smart Contract Performance
Smart contract transactions demonstrate issues of performance and correc...
research
∙
05/15/2019
Quantifiability: Concurrent Correctness from First Principles
Architectural imperatives due to the slowing of Moore's Law, the broad a...
research
∙
03/24/2019