Read Papers

Date: 2020-01-06

Programming papers I've read.

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

Title Tags Date Read
An Empirical Study on the Correctness ofFormally Verified Distributed Systems verification, distributed-systems 2019-03-03
Anna: A KVS For Any Scale big-data 2016-01-01
ApproxJoin: Approximate Distributed Joins distributed-systems, database-things 2018-12-25
Azure Data Lake Store: A Hyperscale Distributed File Service for Big Data Analytics big-data 2016-01-01
Big Data Technology Literature Review big-data 2016-01-01
Broom: sweeping out Garbage Collection from Big Data systems 2016-01-01
Build systems a la carte haskell, build-systems, spj 2018-06-14
Charon: Declarative Provisioning and Deployment nix, functional-programming 2016-01-01
City Data Fusion: Sensor Data Fusion in the Internet of Things 2016-01-01
Cloud Programming Simplified: A Berkeley View on Serverless Computing cloud 2019-06-29
Combining Deep and Shallow Embedding for EDSL haskell, dsl 2018-07-31
Concurrent multi-level arrays: Wait-free extensible hash maps 2016-01-01
Debugging Distributed Systems withWhy-Across-Time Provenance distributed-systems 2018-12-25
Dissecting Apple's Meta-CDN during an iOS Update cdn 2019-01-10
Distributed Systems distributed-systems 2018-07-01
Domain-specific Languages and Code Synthesis Using Haskell haskell 2016-01-01
Dynamic Space Limits for Haskell haskell, ghc 2019-02-01
Engineering and Software Engineering general 2018-06-01
Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask 2016-01-01
Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems 2016-01-01
Fault Tolerant Functional Reactive Programming (Functional Pearl) haskell 2018-10-05
Filter Before You Parse: Faster Analytics on Raw Data with Sparser big-data 2018-09-22
From monoids to near-semirings: the essence of MonadPlus and alternative haskell 2016-01-01
Future Psychohistory - Computation and Humanity 2016-01-01
Google’s MapReduce Programming Model — Revisited big-data 2016-01-01
Gorilla: A Fast, Scalable, In-Memory Time Series Database scaling, database 2019-04-04
Gray Failure: The Achilles’ Heel of Cloud-Scale Systems 2016-01-01
Hailstorm: Distributed Stream Processing with Exactly Once Semantics haskell 2016-01-01
Hokusai — Sketching Streams in Real Time 2016-01-01
How functional programming mattered 2016-01-01
Identifying impactful service system problems via log analysis analysis, logs 2018-12-25
In Search of an Understandable Consensus Algorithm (Extended Version) distributed-systems, raft, leader-election 2019-01-19
Jitsu: Just-In-Time Summoning of Unikernels 2016-01-01
MOV is Turing Complete low-level, assembly, x86 2019-04-15
MaRe: a MapReduce-Oriented Framework for Processing Big Data with Application Containers map/reduce, big-data, containers 2019-08-21
Monad Transformers Step by Step haskell 2016-01-01
Monadic Parser Combinators haskell, parsing, classic 2019-02-18
Monads for functional programming haskell 2018-06-30
NetChain: Scale-Free Sub-RTT Coordination 2016-01-01
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? programming-languages, future 2019-05-13
Omid, Reloaded: Scalable and Highly-Available Transaction Processing 2016-01-01
On the Design of Distributed Programming Models 2016-01-01
Online Reconstruction of Structural Information from Datacenter Logs big-data 2016-01-01
Overload Control for Scaling WeChat Microservices scaling 2018-12-25
Paxos Made Simple distributed-systems, consensus 2019-05-15
Programming Paradigms for Dummies: What EveryProgrammer Should Know general 2019-04-20
Protocol-Aware Recovery for Consensus-Based Storage 2016-01-01
Quantum Computing in the NISQ era and beyond 2016-01-01
Quantum algorithms: an overview 2016-01-01
Skyway: Connecting Managed Heaps in Distributed Big Data Systems 2016-01-01
Spanner: Becoming a SQL System 2016-01-01
Stitch: The Sound Type-Indexed Type Checker haskell, types 2018-12-31
Storage Solutions for Big Data Systems: A Qualitative Study and Comparison survey, storage 2019-08-21
Stream Fusion. From Lists to Streams to Nothing at All haskell 2016-01-01
Supermonads haskell 2016-01-01
The Essential Guide To Queueing Theory flow-control 2016-01-01
The HdpH DSLs for scalable reliable computation haskell, distributed-systems 2016-01-01
The Influence of Organizational Structure On Software Quality: An Empirical Case Study 2016-01-01
There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access haskell 2016-01-01
Throttling Utilities in the IBM DB2 Universal Database Server 2016-01-01
Towards Haskell in the Cloud haskell, spj 2016-01-01
Typed Tagless Final Interpreters haskell, oleg 2016-01-01
Understanding Real-WorldConcurrency Bugs in Go concurrency, go 2019-02-26
What slows you down? Your network or your device? performance 2016-01-01
Why Most Unit Testing is Waste testing 2019-07-22