Donald Pinckney

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 12

Top Topics

Code Generation

Lambda Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. ESEC/SIGSOFT FSE (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin
Flexible and Optimal Dependency Management via Max-SMT. ICSE (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
A Large Scale Analysis of Semantic Versioning in NPM. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
A Large Scale Analysis of Semantic Versioning in NPM. MSR (2023)
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
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Trans. Software Eng. 49 (7) (2023)
Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin
Using Solver-Aided Languages to Build Package Managers. CoRR (2022)
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
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. CoRR (2022)
Donald Pinckney, Arjun Guha, Yuriy Brun
Wasm/k: Delimited Continuations for WebAssembly. CoRR (2020)
Donald Pinckney, Arjun Guha, Yuriy Brun
Wasm/k: delimited continuations for WebAssembly. DLS (2020)
Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha
Formal Foundations of Serverless Computing. CoRR (2019)
Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha
Formal foundations of serverless computing. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)