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.