Publications
- Flexible and Optimal Dependency Management via Max-SMT. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin. ICSE, 2023.
- A Large Scale Analysis of Semantic Versioning in NPM. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. MSR, 2023.
- A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda. 2022.
- Wasm/k: Delimited Continuations for WebAssembly. Donald Pinckney, Arjun Guha, Yuriy Brun. DLS, 2020.
- (Distinguished Paper Award) Formal Foundations of Serverless Computing. Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. OOPSLA, 2019.