Publications

  1. OOPSLA 2019 Distinguished Paper Award: Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. Formal Foundations of Serverless Computing.