#paper

19 pages tagged #paper.

• 50 years in filesystems
• AMBROSIA
• Beehive — O(1) Lookup Performance for Power-Law Query Distributions in Peer-to-Peer Overlays
• Blind Signatures for Untraceable Payments
• Capsule-oriented Programming Summary Paper
• Combining Effects and Coeffects via Grading
• Convergence of Datalog over (Pre-)Semirings
• Effect Handlers, Evidently
• Effects, Capabilities, and Boxes
• Ghosts of Departed Proofs
• Keep CALM and CRDT On
• Mergeable Replicated Data Types
• New Directions in Cloud Programming
• Reflections on trusting distributed trust
• SIEVE is Simpler than LRU
• Type Systems as Macros
• Users Are Not The Enemy
• What Lies in the Path of the Revolution
• ZHT