Publications

  1. 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]

  2. MSR 2023 A Large Scale Analysis of Semantic Versioning in NPM. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. [paper]

  3. 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]

  4. 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]

  5. DLS 2020 Wasm/k: Delimited Continuations for WebAssembly. Donald Pinckney, Yuriy Brun, Arjun Guha. [paper] [talk] [github] [website]

  6. OOPSLA 2019, Distinguished Paper Award Formal Foundations of Serverless Computing. Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. [paper] [talk] [website]