Read Papers

Description: White Papers I've Read
Authored: 2021-11-07;
categories : programming;
tags :

Programming papers I've read.

Note: 2016/1/1 is a place holder date as I don't recall when I read it

TitleTagsDate Read
A large scale analysis of hundreds of in-memory cache clusters at Twittercase-study, redis, scale2020-11-06
ACMS: The Akamai Configuration Management Systemakamai, configuration2021-07-22
An Empirical Study on the Correctness of Formally Verified Distributed Systemsverification, distributed-systems2019-03-03
Anna: A KVS For Any Scalebig-data2016-01-01
ApproxJoin: Approximate Distributed Joinsdistributed-systems, database-things2018-12-25
Asynchronous Monad for Reactive IoT Programminghaskell, frp2020-11-23
Automatically Detecting and Fixing Concurrency Bugs in Go Software Systemsgo, concurrency2021-03-13
Azure Data Lake Store: A Hyperscale Distributed File Service for Big Data Analyticsbig-data2016-01-01
Big Data Technology Literature Reviewbig-data2016-01-01
Broom: sweeping out Garbage Collection from Big Data systems2016-01-01
Build systems a la cartehaskell, build-systems, spj2018-06-14
Charon: Declarative Provisioning and Deploymentnix, functional-programming2016-01-01
Checking Cloud Contracts in Microsoft Azurefirewalls, model-checking2021-05-21
City Data Fusion: Sensor Data Fusion in the Internet of Things2016-01-01
Cloud Programming Simplified: A Berkeley View on Serverless Computingcloud2019-06-29
Combining Deep and Shallow Embedding for EDSLhaskell, dsl2018-07-31
Concurrent multi-level arrays: Wait-free extensible hash maps2016-01-01
Debugging Distributed Systems withWhy-Across-Time Provenancedistributed-systems2018-12-25
Dissecting Apple's Meta-CDN during an iOS Updatecdn2019-01-10
Distributed Systemsdistributed-systems2018-07-01
Domain-specific Languages and Code Synthesis Using Haskellhaskell2016-01-01
Dynamic Space Limits for Haskellhaskell, ghc2019-02-01
Engineering and Software Engineeringgeneral2018-06-01
Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask2016-01-01
Examining Raft’s behavior during partial network failuresraft, distributed-systems2020-07-22
Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems2016-01-01
Fault Tolerant Functional Reactive Programming (Functional Pearl)haskell2018-10-05
Fault Tolerant Functional Reactive Programminghaskell2020-10-24
Filter Before You Parse: Faster Analytics on Raw Data with Sparserbig-data2018-09-22
From monoids to near-semirings: the essence of MonadPlus and alternativehaskell2016-01-01
Future Psychohistory - Computation and Humanity2016-01-01
Google’s MapReduce Programming Model — Revisitedbig-data2016-01-01
Gorilla: A Fast, Scalable, In-Memory Time Series Databasescaling, database2019-04-04
Gray Failure: The Achilles’ Heel of Cloud-Scale Systems2016-01-01
Hailstorm: Distributed Stream Processing with Exactly Once Semanticshaskell2016-01-01
Hokusai — Sketching Streams in Real Time2016-01-01
How functional programming mattered2016-01-01
Identifying impactful service system problems via log analysisanalysis, logs2018-12-25
In Search of an Understandable Consensus Algorithm (Extended Version)distributed-systems, raft, leader-election2019-01-19
Jitsu: Just-In-Time Summoning of Unikernels2016-01-01
Linux Traffic Control Classifier-Action Subsystem Architecturetc, linux, firewalls2021-06-23
MOV is Turing Completelow-level, assembly, x862019-04-15
MaRe: a MapReduce-Oriented Framework for Processing Big Data with Application Containersmap/reduce, big-data, containers2019-08-21
Monad Transformers Step by Stephaskell2016-01-01
Monadic Parser Combinatorshaskell, parsing, classic2019-02-18
Monads for functional programminghaskell2018-06-30
NetChain: Scale-Free Sub-RTT Coordination2016-01-01
New Directions in Cloud Programminggeneral, cloud202-02-13
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?programming-languages, future2019-05-13
Omid, Reloaded: Scalable and Highly-Available Transaction Processing2016-01-01
On the Design of Distributed Programming Models2016-01-01
On the Turing Completeness of MS PowerPointcomputation, wacky2020-10-01
Online Reconstruction of Structural Information from Datacenter Logsbig-data2016-01-01
Out of the Tar Pitgeneral2021-08-16
Overload Control for Scaling WeChat Microservicesscaling2018-12-25
Paxos Made Simpledistributed-systems, consensus2019-05-15
Paxos vs Raft: Have we reached consensus on distributed consensus?raft, distributed-systems2021-07-21
Programming Paradigms for Dummies: What EveryProgrammer Should Knowgeneral2019-04-20
Protocol-Aware Recovery for Consensus-Based Storage2016-01-01
Python 3 Types in the Wild: A Tale of Two Type Systemspython, type-systems2021-04-05
Quantum Computing in the NISQ era and beyond2016-01-01
Quantum algorithms: an overview2016-01-01
Session Types with Linearity in Haskellhaskell, types2020-10-23
Skyway: Connecting Managed Heaps in Distributed Big Data Systems2016-01-01
Spanner: Becoming a SQL System2016-01-01
Stitch: The Sound Type-Indexed Type Checkerhaskell, types2018-12-31
Storage Solutions for Big Data Systems: A Qualitative Study and Comparisonsurvey, storage2019-08-21
Stream Fusion. From Lists to Streams to Nothing at Allhaskell2016-01-01
TC Flower Offloadtc, linux, firewalls2021-06-27
The Next 700 Programming Languagesgeneral2021-08-20
The Essential Guide To Queueing Theoryflow-control2016-01-01
The HdpH DSLs for scalable reliable computationhaskell, distributed-systems2016-01-01
The Influence of Organizational Structure On Software Quality: An Empirical Case Study2016-01-01
There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Accesshaskell2016-01-01
Throttling Utilities in the IBM DB2 Universal Database Server2016-01-01
Towards Haskell in the Cloudhaskell, spj2016-01-01
Towards Multiverse Databasesdatabases, rust2021-10-22
Typed Tagless Final Interpretershaskell, oleg2016-01-01
Understanding Real-WorldConcurrency Bugs in Goconcurrency, go2019-02-26
What slows you down? Your network or your device?performance2016-01-01
Why Most Unit Testing is Wastetesting2019-07-22
Session Types for Rustrust, types2022-04-17
The eXpress data path: fast programmable packet processing in the operating system kernelebpf, xdp2023-04-01