Page preview panel
ON OFF

This is the graph of pages.

All pages ("nodes") in Knowen belong to a directed acyclic graph: more general nodes are to the left (upstream), and more specific to the right (downstream).

Hover over a node to see the node preview; click to select a specific node; mouse scroll to zoom; click and drag to move.

Dashboard

Now you are in the subtree of Distributed Computing project. 

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