Donald Pinckney

According to our database, Donald Pinckney authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

IEEE Trans. Software Eng., July, 2023

npm-follower: A Complete Dataset Tracking the NPM Ecosystem.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

A Large Scale Analysis of Semantic Versioning in NPM.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Flexible and Optimal Dependency Management via Max-SMT.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages.

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

CoRR, 2022

Using Solver-Aided Languages to Build Package Managers.

Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin

CoRR, 2022

2020

Wasm/k: delimited continuations for WebAssembly.

Donald Pinckney, Arjun Guha, Yuriy Brun

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019

Formal foundations of serverless computing.

Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha

Proc. ACM Program. Lang., 2019

Formal Foundations of Serverless Computing.

Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha

CoRR, 2019