Now you are in the subtree of Misc public knowledge tree. 

Paper Dictionary

This is a paper dictionary created by hengxin.

By Topics

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