
Benchmarking spreadsheet systems
Benchmarking spreadsheet systems Rahman et al., Preprint A recent TwThread drew my attention to this pre-print...

Declarative assembly of web applications from pre-defined concepts
Declarative assembly of web applications from predefined concepts De Rosso et al., Onward! 2019 I chose...

Efficient lock-free durable sets
Efficient lock-free durable sets Zuriel et al., OOPSLA’19 Given non-volatile memory (NVRAM), the naive hope for...

TLA+ model checking made symbolic
TLA+ model checking made symbolic Konnov et al., OOPSLA’19 TLA+ is a formal specification language (Temporal...

Mergeable replicated data types – Part II
Mergeable replicated data types – part II Kaki et al., OOPLSA ’19 Last time out we...

Mergeable replicated data types – Part I
Mergeable replicated data types Kaki et al., OOPSLA’19 This paper was published at OOPSLA, but perhaps...

PlanAlyzer: assessing threats to the validity of online experiments
PlanAlyzer: assessing threats to the validity of online experiments Tosch et al., OOPSLA’19 It’s easy to...

Local-first software: you own your data, in spite of the cloud
Local-first software: you own your data, in spite of the cloud Kleppmann et al., Onward! ’19...

Formal foundations of serverless computing
Formal foundations of serverless computing Jangda et al., OOPSLA’19 Jangda et al. won a distinguished paper...

Taiji: managing global user traffic for large-scale Internet services at the edge
Taiji: managing global user traffic for large-scale internet services at the edge Xu et al., SOSP’19...

Scaling symbolic evaluation for automated verification of systems code with Serval
Scaling symbolic evaluation for automated verification of systems code with Serval Nelson et al., SOSP’19 Serval...

Snap: a microkernel approach to host networking
Snap: a microkernel approach to host networking Marty et al., SOSP’19 This paper describes the networking...

The inflection point hypothesis: a principled approach to finding the root cause of a failure
The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure...

File systems unfit as distributed storage backends: lessons from ten years of Ceph evolution
File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution Aghayev et...

An analysis of performance evolution of Linux’s core operations
An analysis of performance evolution of Linux’s core operations Ren et al., SOSP’19 I was drawn...