PPDP '17 paper on scaling: http://christophermeiklejohn.com/publications/ppdp-2017-prep...
Ensuring monotonicity via types: http://prl.ccs.neu.edu/blog/2017/10/22/monotonicity-types-to...
From the video also enjoyed the details about how things ran on variety of cloud environments. The google one was funny: kubernetes in kubernetes on borg on hw virtualtization on hardware.
PPDP '17 paper on scaling: http://christophermeiklejohn.com/publications/ppdp-2017-prep...
Ensuring monotonicity via types: http://prl.ccs.neu.edu/blog/2017/10/22/monotonicity-types-to...