| Formal foundations of serverless computing A Jangda, D Pinckney, Y Brun, A Guha Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-26, 2019 | 83 | 2019 |
| A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages F Cassano, J Gouwar, D Nguyen, S Nguyen, L Phipps-Costin, D Pinckney, ... arXiv preprint arXiv:2208.08227, 2022 | 6 | 2022 |
| MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation F Cassano, J Gouwar, D Nguyen, S Nguyen, L Phipps-Costin, D Pinckney, ... IEEE Transactions on Software Engineering, 2023 | 5 | 2023 |
| Wasm/k: delimited continuations for WebAssembly D Pinckney, A Guha, Y Brun Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic …, 2020 | 4 | 2020 |
| Flexible and optimal dependency management via max-smt D Pinckney, F Cassano, A Guha, J Bell, M Culpo, T Gamblin Proceedings of the 2023 International Conference on Software Engineering …, 2023 | 1 | 2023 |
| A Large Scale Analysis of Semantic Versioning in NPM D Pinckney, F Cassano, A Guha, J Bell arXiv preprint arXiv:2304.00394, 2023 | | 2023 |
| Using Solver-Aided Languages to Build Package Managers D Pinckney, A Guha, M Culpo, T Gamblin arXiv preprint arXiv:2203.13737, 2022 | | 2022 |
| A Quantitative Analysis of Schacht’s Hadith Backgrowth Theory A Ditzel, D Pinckney, M Syed | | 2017 |
