ICSE 2023 Flexible and Optimal Dependency Management via Max-SMT. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin. [paper] [talk] [github] [install]
MSR 2023 A Large Scale Analysis of Semantic Versioning in NPM. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. [paper]
ESEC/FSE 2023 Demo Track npm-follower: A Complete Dataset Tracking the NPM Ecosystem. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. [paper] [talk] [dataset] [github]
TSE 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, Abhinav Jangda. [paper] [talk] [github] [website]
DLS 2020 Wasm/k: Delimited Continuations for WebAssembly. Donald Pinckney, Yuriy Brun, Arjun Guha. [paper] [talk] [github] [website]
OOPSLA 2019, Distinguished Paper Award Formal Foundations of Serverless Computing. Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. [paper] [talk] [website]