Digressions – August 2019

No, we don't want to do two things on every initial design of our distributed systems:

  • Leadership Election
  • Using shared memory

How to Architect a Query Compiler, Revisited

https://www.cs.purdue.edu/homes/rompf/papers/tahboub-sigmod18.pdf


Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems

https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf


A Novel Predictive and Self -- Adaptive Dynamic Thread Pool Management

https://ieeexplore.ieee.org/document/5951889

Reference implementation of the paper above for Rust is here:

https://github.com/async-rs/async-std/pull/108


Lightweight talk, heavy ones are below.

Formal verifications etc.

Transparency related stuff + VC shenanigans