Paper Dictionary

This is a paper dictionary created by hengxin.

By Topics

• Distributed Storage Systems
• Distributed Transactions
• Software Transactional Memory
• Computability theory of distributed computing

By States

Summarized

Read, to be summarized

• On the nature of progress. Maurice Herlihy@OPODIS'11

Under reading

• Replicated data types: specification, verification, and optimality. Alexey Gotsman@POPL'13
• On the liveness of transactional memory. Victor Bushkov@PODC'12
• The PCL theorem: transactions cannot be Parallel, Consistent and Live. Victor Bushkov@SPAA'14

To be read

• Correctness criteria for replicated database systems with snapshot isolation replicas. J.E. Armendariz@TR'08
• Quantitative relaxation of concurrent data structures. Thomas A. Henzinger@POPL'13