Formal Foundations of Serverless Computing. - Abhinav Jangda; Donald Pinckney; Samuel Baxter; Breanna Devore-McDonald; Joseph Spitzer; Yuriy Brun; Arjun Guha (CoRR, 2019)

Formal foundations of serverless computing. - Abhinav Jangda; Donald Pinckney; Yuriy Brun; Arjun Guha (Proc. ACM Program. Lang., 2019)

Wasm/k: delimited continuations for WebAssembly. - Donald Pinckney; Arjun Guha; Yuriy Brun (DLS, 2020)

Using Solver-Aided Languages to Build Package Managers. - Donald Pinckney; Arjun Guha; Massimiliano Culpo; Todd Gamblin (CoRR, 2022)

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 002; et al. (CoRR, 2022)

Flexible and Optimal Dependency Management via Max-SMT. - Donald Pinckney; Federico Cassano; Arjun Guha; Jonathan Bell 001; Massimiliano Culpo; Todd Gamblin (ICSE, 2023)

A Large Scale Analysis of Semantic Versioning in NPM. - Donald Pinckney; Federico Cassano; Arjun Guha; Jonathan Bell 001 (MSR, 2023)

npm-follower: A Complete Dataset Tracking the NPM Ecosystem. - Donald Pinckney; Federico Cassano; Arjun Guha; Jonathan Bell 001 (ESEC/SIGSOFT FSE, 2023)

MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. - 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 002; et al. (IEEE Trans. Software Eng., 2023)