Putting in all the stops: execution control for JavaScript. - Samuel Baxter; Rachit Nigam; Joe Gibbs Politz; Shriram Krishnamurthi; Arjun Guha (PLDI, 2018)

Formal Foundations of Serverless Computing. - Abhinav Jangda; Donald Pinckney; Samuel Baxter; Breanna Devore-McDonald; Joseph Spitzer; Yuriy Brun; Arjun Guha (CoRR, 2019)