Donald Pinckney

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