75 citations · 160 across the 38 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.DC2012
Non-Interference and Local Correctness in Transactional Memory
Petr Kuznetsov, Sathya Peri
Transactional memory promises to make concurrent programming tractable and efficient by allowing the user to assemble sequences of actions in atomic transactions with all-or-nothin…
cs.DC2012
Optimism for Boosting Concurrency
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
Modern concurrent programming benefits from a large variety of synchronization techniques. These include conventional pessimistic locking, as well as optimistic techniques based on…