Publications

Donald Pinckney. Improving Dependency Management via Formal Semantics. Northeastern University, 2024. PhD Dissertation.
PDF Cite DOI
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. npm-follower: A Complete Dataset Tracking the NPM Ecosystem. ESEC/FSE 2023.
PDF Cite Code Dataset Video DOI
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. A Large Scale Analysis of Semantic Versioning in NPM. MSR 2023.
PDF Cite DOI
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin. Flexible and Optimal Dependency Management via Max-SMT. ICSE 2023.
PDF Cite Code Video Install DOI
Donald Pinckney, 13 Additional Authors, Equal Contribution. MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Transactions on Software Engineering, 49(7).
PDF Cite Code Dataset Slides Video DOI
Donald Pinckney, Arjun Guha, Yuriy Brun. Wasm/k: Delimited Continuations for WebAssembly. DLS 2020.
PDF Cite Code Video Website DOI
Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. Formal Foundations of Serverless Computing. OOPLSA 2019, Distinguished Paper Award.
PDF Cite Video Website DOI