Publications

  1. Flexible and Optimal Dependency Management via Max-SMT. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin. ICSE, 2023.
  2. A Large Scale Analysis of Semantic Versioning in NPM. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. MSR, 2023.
  3. 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. 2022.
  4. Wasm/k: Delimited Continuations for WebAssembly. Donald Pinckney, Arjun Guha, Yuriy Brun. DLS, 2020.
  5. (Distinguished Paper Award) Formal Foundations of Serverless Computing. Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. OOPSLA, 2019.