research
∙
05/29/2019
Read-Uncommitted Transactions for Smart Contract Performance
Smart contract transactions demonstrate issues of performance and correc...
share
research
∙
05/15/2019
Quantifiability: Concurrent Correctness from First Principles
Architectural imperatives due to the slowing of Moore's Law, the broad a...
research
∙
04/08/2019
Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs
We present a new approach to check for commutativity in concurrent progr...
research
∙
03/24/2019