8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.DC2020
Lazy State Determination: More concurrency for contending linearizable transactions
Tiago M. Vale, João Leitão, Nuno Preguiça +3
The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor performance under high contention. As a consequence,…
cs.DC2016★ 8 cited
Pot: Deterministic transactional execution
Tiago M. Vale, João A. Silva, Ricardo J. Dias +1
This paper presents Pot, a system that leverages the concept of preordered transactions to achieve deterministic multithreaded execution of programs that use Transactional Memory.…