1 citations · 1 across the 2 of their papers we have counts for
4 papers
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…
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…
Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs
Kishore Debnath, Christina Peterson, Damian Dechev
We present a new approach to check for commutativity in concurrent programs from their state-chart graphs. A set of operations are commutative if changing the order of their execut…
Lock-Free Transactional Adjacency List
Zachary Painter, Christina Peterson, Damian Dechev
Adjacency lists are frequently used in graphing or map based applications. Although efficient concurrent linked-list algorithms are well known, it can be difficult to adapt these a…