update pubs

publications.md

@@ -3,11 +3,37 @@ layout: page
 title: Publications
 ---
 
-1. [Flexible and Optimal Dependency Management via Max-SMT](https://arxiv.org/abs/2203.13737). Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin. ICSE, 2023.
-2. [A Large Scale Analysis of Semantic Versioning in NPM]({{site.baseurl}}/public/files/documents/msr23-npm.pdf). Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell. MSR, 2023.
-3. [A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages](https://arxiv.org/abs/2208.08227). 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](https://arxiv.org/abs/2010.01723). Donald Pinckney, Arjun Guha, Yuriy Brun. DLS, 2020.
-5. (**Distinguished Paper Award**) [Formal Foundations of Serverless Computing](https://arxiv.org/abs/1902.05870). Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. OOPSLA, 2019.
+1. **ICSE 2023** *Flexible and Optimal Dependency Management via Max-SMT*. **Donald Pinckney**, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin. 
+[[paper]](https://arxiv.org/abs/2203.13737) 
+[[talk]](https://youtu.be/O3eMwxRwhgI?si=TQwh39l6sT-NpaKN&t=939) 
+[[github]](https://github.com/donald-pinckney/pacsolve) 
+[[install]](https://www.npmjs.com/package/maxnpm)
+
+1. **MSR 2023** *A Large Scale Analysis of Semantic Versioning in NPM*. **Donald Pinckney**, Federico Cassano, Arjun Guha, Jonathan Bell. 
+[[paper]](https://arxiv.org/abs/2304.00394) 
+
+1. **ESEC/FSE 2023 Demo Track** *npm-follower: A Complete Dataset Tracking the NPM Ecosystem*. **Donald Pinckney**, Federico Cassano, Arjun Guha, Jonathan Bell. 
+[[paper]](https://arxiv.org/abs/2308.12545) 
+[[talk]](https://2023.esec-fse.org/details/fse-2023-demonstrations/5/npm-follower-A-Complete-Dataset-Tracking-the-NPM-Ecosystem) 
+[[dataset]](https://dependencies.science) 
+[[github]](https://github.com/donald-pinckney/npm-follower)
+
+1. **TSE 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. 
+[[paper]](https://arxiv.org/abs/2208.08227) 
+[[talk]](https://2023.esec-fse.org/details/fse-2023-journal-first/11/MultiPL-E-A-Scalable-and-Polyglot-Approach-to-Benchmarking-Neural-Code-Generation)
+[[github]](https://github.com/nuprl/MultiPL-E)
+[[website]](https://nuprl.github.io/MultiPL-E/)
+
+1. **DLS 2020** *Wasm/k: Delimited Continuations for WebAssembly*. **Donald Pinckney**, Yuriy Brun, Arjun Guha.
+[[paper]](https://arxiv.org/abs/2010.01723) 
+[[talk]](https://youtu.be/2xp1gfYrmi0?si=uagMCYpHIO6oIIFh) 
+[[github]](https://github.com/donald-pinckney/WasmContinuations) 
+[[website]](https://wasmk.github.io)
+
+1. **OOPSLA 2019, Distinguished Paper Award** *Formal Foundations of Serverless Computing*. Abhinav Jangda, **Donald Pinckney**, Yuriy Brun, Arjun Guha.
+[[paper]](https://arxiv.org/abs/1902.05870) 
+[[talk]](https://youtu.be/-6jZfIvxtNI?si=Tfv5_h3R7fDC_OSP)
+[[website]](https://plasma-umass.org/foundations-of-serverless/home/)
 
 
 <script src="{{ site.baseurl }}/public/js/new_tab.js"></script>