Publications

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

  2. DLS 2020: Donald Pinckney, Arjun Guha, Yuriy Brun. Wasm/k: Delimited Continuations for WebAssembly.