commit
5cdc94c17c
Binary file not shown.
@ -0,0 +1,3 @@
|
||||
* [everything-you-always-wanted-to-know-about-synchronization-but-were-afraid-to-ask](http://sigops.org/sosp/sosp13/papers/p33-david.pdf)
|
||||
|
||||
* [time-clocks-and-the-ordering-of-event-in-a-distributed-system](http://www.stanford.edu/class/cs240/readings/lamport.pdf)
|
Binary file not shown.
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [dynamic-hash-tables](http://www.csd.uoc.gr/~hy460/pdf/Dynamic%20Hash%20Tables.pdf)
|
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [calvin-fast-distributed-transactions-for-partitioned-database-systems](http://cs.yale.edu/homes/thomson/publications/calvin-sigmod12.pdf)
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
@ -0,0 +1,69 @@
|
||||
* [millwheel-fault-tolerant-stream-processing-at-internet-scale](http://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/41378.pdf)
|
||||
|
||||
* [a-simple-totally-ordered-broadcast-protocol](http://labs.yahoo.com/files/ladis08.pdf)
|
||||
|
||||
* [cassandra-a-decentralized-structured-storage-system](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.161.6751&rep=rep1&type=pdf)
|
||||
|
||||
* [chord-algorithm](http://pdos.csail.mit.edu/papers/chord:sigcomm01/chord_sigcomm.pdf)
|
||||
|
||||
* [crush](http://www.ssrc.ucsc.edu/Papers/weil-sc06.pdf)
|
||||
|
||||
* [dont-settle-for-eventual-scalable-causal-consistency-for-wide-area-storage-with-cops](http://www.cs.cmu.edu/~dga/papers/cops-sosp2011.pdf)
|
||||
|
||||
* [dremel-interactive-analysis-of-web-scale-datasets](http://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/36632.pdf)
|
||||
|
||||
* [f1-a-distributed-sql-database-that-scales](http://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/41344.pdf)
|
||||
|
||||
* [haloop](http://www.ics.uci.edu/~yingyib/papers/HaLoop_camera_ready.pdf)
|
||||
|
||||
* [hoard-a-scalable-memory-allocator-for-multithreaded-applications](http://people.cs.umass.edu/~emery/pubs/berger-asplos2000.pdf)
|
||||
|
||||
* [hyperdex](https://cs.uwaterloo.ca/~bernard/hyperdex.pdf)
|
||||
|
||||
* [implementing-fault-tolerant-services-using-the-state-machine-approach-a-tutorial](https://www.cs.cornell.edu/fbs/publications/SMSurvey.pdf)
|
||||
|
||||
* [kafka-distributed-messaging-system-for-log-processing](http://research.microsoft.com/en-us/um/people/srikanth/netdb11/netdb11papers/netdb11-final12.pdf)
|
||||
|
||||
* [linearizability-a-correctness-condition-for-concurrent-objects](http://cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf)
|
||||
|
||||
* [managing-update-conflicts-in-bayou](http://zoo.cs.yale.edu/classes/cs422/2013/bib/terry95managing.pdf)
|
||||
|
||||
* [map-reduce-merge](http://www.cs.duke.edu/courses/cps399.28/current/papers/sigmod07-YangDasdanEtAl-map_reduce_merge.pdf)
|
||||
|
||||
* [mdcc-multi-data-center-consistency](https://amplab.cs.berkeley.edu/wp-content/uploads/2013/03/mdcc-eurosys13.pdf)
|
||||
|
||||
* [optimistic-replication](http://pages.cs.wisc.edu/~remzi/Classes/739/Spring2004/Papers/optimistic-survey.pdf)
|
||||
|
||||
* [paxos-made-live](http://www.cs.utexas.edu/users/lorenzo/corsi/cs380d/papers/paper2-1.pdf)
|
||||
|
||||
* [practical-byzantine-fault-tolerance-and-proactive-recovery](http://www.itu.dk/stud/speciale/bepjea/xwebtex/litt/practical-byzantine-fault-tolerance-and-proactive-recovery.pdf)
|
||||
|
||||
* [pregel-a-system-for-large-scale-graph-processing](http://kowshik.github.io/JPregel/pregel_paper.pdf)
|
||||
|
||||
* [replication-history-and-grafting-in-the-ori-file-system](http://sigops.org/sosp/sosp13/papers/p151-mashtizadeh.pdf)
|
||||
|
||||
* [resilient-overlay-networks](http://nms.lcs.mit.edu/papers/ron-sosp2001.pdf)
|
||||
|
||||
* [sinfonia-a-new-paradigm-for-building-scalable-distributed-systems](http://research.microsoft.com/en-us/people/aguilera/sinfonia-aguilera-sosp2007.pdf)
|
||||
|
||||
* [the-byzantine-generals-problem](http://www.andrew.cmu.edu/course/15-749/READINGS/required/resilience/lamport82.pdf)
|
||||
|
||||
* [the-dangers-of-replication-and-a-solution](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.21.2707&rep=rep1&type=pdf)
|
||||
|
||||
* [the-part-time-parliament](http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-paxos.pdf)
|
||||
|
||||
* [there-is-more-consensus-in-egalitarian-parliaments-(egalitarian-paxos)](https://www.cs.cmu.edu/~dga/papers/epaxos-sosp2013.pdf)
|
||||
|
||||
* [towards-a-next-generation-data-center-architecture-scalability-and-commoditization](http://research.microsoft.com/pubs/79348/presto27-greenberg.pdf)
|
||||
|
||||
* [transactional-client-server-cache-consistency-alternatives-and-performance](http://www.cs.berkeley.edu/~franklin/Papers/p315-franklin.pdf)
|
||||
|
||||
* [unicorn-a-system-for-searching-the-social-graph](http://db.disi.unitn.eu/pages/VLDBProgram/pdf/industry/p871-curtiss.pdf)
|
||||
|
||||
* [unikernels-library-operating-systems-for-the-cloud](http://anil.recoil.org/papers/2013-asplos-mirage.pdf)
|
||||
|
||||
* [untraceable-electronic-mail-return-addresses-and-digital-pseudonyms](http://www.cs.utexas.edu/~shmat/courses/cs395t_fall04/chaum81.pdf)
|
||||
|
||||
* [viewstamped-replication](http://www.pmg.csail.mit.edu/papers/vr.pdf)
|
||||
|
||||
* [vl2-a-scalable-and-flexible-data-center-network](http://research.microsoft.com/pubs/80693/vl2-sigcomm09-final.pdf)
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
File diff suppressed because one or more lines are too long
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
File diff suppressed because one or more lines are too long
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [reflections-on-trusting-trust](http://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf)
|
Binary file not shown.
@ -0,0 +1,5 @@
|
||||
* [asynchronous-functional-reactive-programming-for-guis](http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf)
|
||||
|
||||
* [push-pull-frp](http://conal.net/papers/push-pull-frp/push-pull-frp.pdf)
|
||||
|
||||
* [wormholes-introducing-effects-to-frp](http://haskell.cs.yale.edu/wp-content/uploads/2012/08/Winograd-Cort-Wormholes.pdf)
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
@ -0,0 +1,3 @@
|
||||
* [a-unified-theory-of-garbage-collection](http://www.cs.virginia.edu/~cs415/reading/bacon-garbage.pdf)
|
||||
|
||||
* [teaching-garbage-collection-without-implementing-compilers-or-interpreters](http://faculty.cs.byu.edu/~jay/static/cooper-sigcse2013.pdf)
|
Binary file not shown.
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [purely-functional-lazy-non-deterministic-programming](http://www.cs.rutgers.edu/~ccshan/rational/lazy-nondet.pdf)
|
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [fortyifying-macros](http://www.ccs.neu.edu/racket/pubs/icfp10-cf.pdf)
|
Binary file not shown.
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [bimodal-multicast](http://www.csl.mtu.edu/cs6461/www/Reading/Birman99.pdf)
|
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [xen-and-the-art-of-virtualization](http://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xensosp.pdf)
|
Binary file not shown.
@ -0,0 +1 @@
|
||||
* [can-programming-be-liberated-from-the-von-neumann-style](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf)
|
@ -0,0 +1 @@
|
||||
* [communicating-sequential-processes](http://www.cs.ucf.edu/courses/cop4020/sum2009/CSP-hoare.pdf)
|
Loading…
Reference in new issue