| A large scale analysis of hundreds of in-memory cache clusters at Twitter | case-study, redis, scale | 2020-11-06 |
| ACMS: The Akamai Configuration Management System | akamai, configuration | 2021-07-22 |
| An Empirical Study on the Correctness of Formally 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 |
| Asynchronous Monad for Reactive IoT Programming | haskell, frp | 2020-11-23 |
| Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems | go, concurrency | 2021-03-13 |
| 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 |
| Checking Cloud Contracts in Microsoft Azure | firewalls, model-checking | 2021-05-21 |
| 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 |
| Examining Raft’s behavior during partial network failures | raft, distributed-systems | 2020-07-22 |
| 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 |
| Fault Tolerant Functional Reactive Programming | haskell | 2020-10-24 |
| 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 |
| Linux Traffic Control Classifier-Action Subsystem Architecture | tc, linux, firewalls | 2021-06-23 |
| 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 |
| New Directions in Cloud Programming | general, cloud | 202-02-13 |
| 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 |
| On the Turing Completeness of MS PowerPoint | computation, wacky | 2020-10-01 |
| Online Reconstruction of Structural Information from Datacenter Logs | big-data | 2016-01-01 |
| Out of the Tar Pit | general | 2021-08-16 |
| Overload Control for Scaling WeChat Microservices | scaling | 2018-12-25 |
| Paxos Made Simple | distributed-systems, consensus | 2019-05-15 |
| Paxos vs Raft: Have we reached consensus on distributed consensus? | raft, distributed-systems | 2021-07-21 |
| Programming Paradigms for Dummies: What EveryProgrammer Should Know | general | 2019-04-20 |
| Protocol-Aware Recovery for Consensus-Based Storage | | 2016-01-01 |
| Python 3 Types in the Wild: A Tale of Two Type Systems | python, type-systems | 2021-04-05 |
| Quantum Computing in the NISQ era and beyond | | 2016-01-01 |
| Quantum algorithms: an overview | | 2016-01-01 |
| Session Types with Linearity in Haskell | haskell, types | 2020-10-23 |
| 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 |
| TC Flower Offload | tc, linux, firewalls | 2021-06-27 |
| The Next 700 Programming Languages | general | 2021-08-20 |
| 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 |
| Towards Multiverse Databases | databases, rust | 2021-10-22 |
| 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 |
| Session Types for Rust | rust, types | 2022-04-17 |
| The eXpress data path: fast programmable packet processing in the operating system kernel | ebpf, xdp | 2023-04-01 |