Publications

  1. [2018 DRAFT] Abhinav Jangda, Donald Pinckney, Samuel Baxter, Joseph Spitzer, Breanna Devore-McDonald, Yuriy Brun, Arjun Guha. Formal Foundations of Serverless Computing.