1 citations · 1 across the 2 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2019
Read-Uncommitted Transactions for Smart Contract Performance
Victor Cook, Zachary Painter, Christina Peterson +1
Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches…
cs.DC2019★ 1 cited
Quantifiability: Concurrent Correctness from First Principles
Victor Cook, Christina Peterson, Zachary Painter +1
Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential his…