nuprl · camoy · Apr 2, 2026 · Mar 27, 2026
diff --git a/publications.rkt b/publications.rkt
@@ -64,9 +64,242 @@
 @(define CSF "Computer Security Foundations Symposium (CSF)")
 @(define ASE "International Conference on Automated Software Engineering (ASE)")
 @(define ICST "International Conference on Software Testing, Verification and Validation (ICST)")
+@(define NeurIPS "Neural Information Processing Systems (NeurIPS)")
+@(define CHI "ACM Conference on Human Factors in Computing Systems (CHI)")
+@(define Programming "The Art, Science, and Engineering of Programming")
+@(define REP "ACM Conference on Reproducibility and Replicability (REP)")
+@(define USENIXSecurity "USENIX Security Symposium")
+@(define ITiCSE "ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)")
+@(define VMIL "International Workshop on Virtual Machines and Intermediate Languages (VMIL)")
+@(define ACL "Findings of the Association for Computational Linguistics (ACL)")
 
 @(define publications
    (list
+    (publication "Cryptis: Cryptographic Reasoning in Separation Logic"
+                 "Arthur Azevedo de Amorim, Amal Ahmed, and Marco Gaboardi"
+                 POPL
+                 2026
+                 "https://doi.org/10.1145/3776730")
+    (publication "Bridging the Gap Between Binary and Source Based Package Management in Spack"
+                 "John Gouwar, Gregory Becker, Tamara Dahlgren, Nathan Hanford, Arjun Guha, and Todd Gamblin"
+                 "International Conference for High Performance Computing, Networking, Storage and Analysis (SC)"
+                 2025
+                 "https://doi.org/10.1145/3712285.3759791")
+    (publication "ILA: Correctness via Type Checking for Fully Homomorphic Encryption"
+                 "Tarakaram Gollamudi, Anitha Gollamudi, and Joshua Gancher"
+                 CC
+                 2025
+                 "https://doi.org/10.1145/3719027.3765068")
+    (publication "Helical: A High Level Language Framework for Specifying Hypotheses and Experiments"
+                 "Emma Tosch, Gwen Lincroft"
+                 REP
+                 2025
+                 "https://doi.org/10.1145/3736731.3746158")
+    (publication "More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation"
+                 "Yangtian Zi, Harshitha Menon, and Arjun Guha"
+                 ACL
+                 2025
+                 "https://aclanthology.org/2025.ijcnlp-long.128/")
+    (publication "Finite-Choice Logic Programming"
+                 "Chris Martens, Robert J. Simmons, and Michael Arntzenius"
+                 POPL
+                 2025
+                 "https://doi.org/10.1145/3704849")
+    (publication "Teaching Software Specification (Experience Report)"
+                 "Cameron Moy and Daniel Patterson"
+                 "International Conference on Functional Programming (ICFP)"
+                 2025
+                 "https://doi.org/10.1145/3747533")
+    (publication "Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust"
+                 "Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, and Bryan Parno"
+                 USENIXSecurity
+                 2025
+                 "https://www.usenix.org/conference/usenixsecurity25/presentation/cai-yi")
+    (publication "'Always Nice and Confident, Sometimes Wrong': Developer's Experiences Engaging Generative AI Chatbots Versus Human-Powered Q&A Platforms"
+                 "Jiachen Li, Elizabeth D. Mynatt, Varun Mishra, and Jonathan Bell"
+                 CHI
+                 2025
+                 "https://doi.org/10.1145/3710927")
+    (publication "LLMorpheus: Mutation Testing Using Large Language Models"
+                 "Frank Tip, Jonathan Bell, and Max Schäfer"
+                 TSE
+                 2025
+                 "https://doi.org/10.1109/tse.2025.3562025")
+    (publication "Substructural Parametricity"
+                 "C. B. Aberlé, Karl Crary, Chris Martens, and Frank Pfenning"
+                 FSCD
+                 2025
+                 "https://doi.org/10.4230/lipics.fscd.2025.4")
+    (publication "Substance Beats Style: Why Beginning Students Fail to Code with LLMs"
+                 "Francesca Lucchetti, Zixuan Wu, Arjun Guha, Molly Q. Feldman, and Carolyn Jane Anderson"
+                 ACL
+                 2025
+                 "https://doi.org/10.18653/v1/2025.naacl-long.433")
+    (publication "Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract)"
+                 "Pierre Donat-Bouillud, Filip Krikava, Jakob Hain, Adam Plodek, and Jan Vitek"
+                 Programming
+                 2025
+                 "https://doi.org/10.4230/oasics.programming.2025.1")
+    (publication "Contract Systems Need Domain-Specific Notations"
+                 "Cameron Moy, Ryan Jung, and Matthias Felleisen"
+                 ECOOP
+                 2025
+                 "https://doi.org/10.4230/lipics.ecoop.2025.42")
+    (publication "\"I Would Have Written My Code Differently\": Beginners Struggle to Understand LLM-Generated Code"
+                 "Yangtian Zi, Luisa Li, Arjun Guha, Carolyn Jane Anderson, and Molly Q. Feldman"
+                 ESECFSE
+                 2025
+                 "https://doi.org/10.1145/3696630.3731663")
+    (publication "From Linearity to Borrowing"
+                 "Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, and Amal Ahmed"
+                 OOPSLA
+                 2025
+                 "https://doi.org/10.1145/3764117")
+    (publication "Webs and Flow-Directed Well-Typedness Preserving Program Transformations"
+                 "Benjamin Quiring, David Van Horn, John H. Reppy, and Olin Shivers"
+                 PLDI
+                 2025
+                 "https://doi.org/10.1145/3729280")
+    (publication "Conversational Concurrency with Dataspaces and Facets"
+                 "Samuel Caldwell, Tony Garnock-Jones, and Matthias Felleisen"
+                 Programming
+                 2025
+                 "https://doi.org/10.22152/programming-journal.org/2025/10/2")
+    (publication "OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries"
+                 "Pratap Singh, Joshua Gancher, and Bryan Parno"
+                 USENIXSecurity
+                 2025
+                 "https://www.usenix.org/conference/usenixsecurity25/presentation/singh")
+    (publication "Toward a Typed Intermediate Language for R (Extended Abstract)"
+                 "Mickaël Laurent, Jakob Hain, Filip Krikava, Sebastián Krynski, and Jan Vitek"
+                 Programming
+                 2025
+                 "https://doi.org/10.4230/oasics.programming.2025.24")
+    (publication "Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions"
+                 "Keita Teranishi, Harshitha Menon, William F. Godoy, Prasanna Balaprakash, David Bau, Tal Ben-Nun, Abhinav Bhatele, Franz Franchetti, Michael E. Franusich, Todd Gamblin, Giorgis Georgakoudis, Tom Goldstein, Arjun Guha, Steven E. Hahn, Costin Iancu, Zheming Jin, Terry R. Jones, Tze Meng Low, Het Mankad, Narasinga Rao Miniskar, Mohammad Alaul Haque Monil, Daniel Nichols, Konstantinos Parasyris, Swaroop Pophale, Pedro Valero-Lara, Jeffrey S. Vetter, Samuel Williams, and Aaron R. Young"
+                 "International Conference on High Performance Computing"
+                 2025
+                 "https://doi.org/10.1007/978-3-032-07612-0_47")
+    (publication "Instructor-Written Hints as Automated Test Suite Quality Feedback"
+                 "James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell"
+                 SIGCSE
+                 2025
+                 "https://doi.org/10.1145/3641554.3701866")
+    (publication "Dynamic Taint Tracking for Modern Java Virtual Machines"
+                 "Katherine Hough and Jonathan Bell"
+                 ESECFSE
+                 2025
+                 "https://doi.org/10.1145/3729349")
+    (publication "R4R: Reproducibility for R"
+                 "Pierre Donat-Bouillud, Filip Krikava, Sebastián Krynski, and Jan Vitek"
+                 REP
+                 2025
+                 "https://doi.org/10.1145/3736731.3746156")
+    (publication "Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming"
+                 "Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, and Steven Holtzen"
+                 PLDI
+                 2025
+                 "https://doi.org/10.1145/3729334")
+    (publication "NNsight and NDIF: Democratizing Access to Open-Weight Foundation Model Internals"
+                 "Jaden Fried Fiotto-Kaufman, Alexander Russell Loftus, Eric Todd, Jannik Brinkmann, Koyena Pal, Dmitrii Troitskii, Michael Ripa, Adam Belfki, Can Rager, Caden Juang, Aaron Mueller, Samuel Marks, Arnab Sen Sharma, Francesca Lucchetti, Nikhil Prakash, Carla E. Brodley, Arjun Guha, Jonathan Bell, Byron C. Wallace, and David Bau"
+                 "International Conference on Learning Representations (ICLR)"
+                 2025
+                 "https://arxiv.org/pdf/2407.14561")
+    (publication "Equity-Guided Tutoring: A Scalable, TA-Run Approach"
+                 "Daniel Patterson, Josh Torre, Zoey Guo, and Thomas McBride"
+                 ITiCSE
+                 2025
+                 "https://doi.org/10.1145/3724363.3729055")
+    (publication "Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict"
+                 "Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, and Bryan Parno"
+                 USENIXSecurity
+                 2025
+                 "https://www.usenix.org/conference/usenixsecurity25/presentation/lin-zhengyao")
+    (publication "ReasoningWeekly: A General Knowledge and Verbal Reasoning Challenge for Large Language Models"
+                 "Zixuan Wu, Francesca Lucchetti, Aleksander Boruch-Gruszecki, Jingmiao Zhao, Carolyn Jane Anderson, Joydeep Biswas, Federico Cassano, and Arjun Guha"
+                 ACL
+                 2025
+                 "https://aclanthology.org/2025.ijcnlp-long.167/")
+    (publication "FEEDBOT: Formative Design Feedback on Programming Assignments"
+                 "Elaine Zhu, Smaran Teja, Chris Coombes, and Daniel Patterson"
+                 ITiCSE
+                 2025
+                 "https://doi.org/10.1145/3724363.3729063")
+    (publication "Scaling Optimization over Uncertainty via Compilation"
+                 "Minsung Cho, John Gouwar, and Steven Holtzen"
+                 OOPSLA
+                 2025
+                 "https://doi.org/10.1145/3720500")
+    (publication "The Rational Programmer: Investigating Programming Language Pragmatics"
+                 "Christos Dimoulas and Matthias Felleisen"
+                 "Communications of the ACM (CACM)"
+                 2025
+                 "https://doi.org/10.1145/3708981")
+    (publication "Multi-Language Probabilistic Programming"
+                 "Sam Stites, John M. Li, and Steven Holtzen"
+                 OOPSLA
+                 2025
+                 "https://doi.org/10.1145/3720482")
+    (publication "Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages"
+                 "J. A. Carr, Benjamin Quiring, John H. Reppy, Olin Shivers, Skye Soss, and Byron Zhong"
+                 ICFP
+                 2025
+                 "https://doi.org/10.1145/3747516")
+    (publication "Reducing Feedback Pollution"
+                 "Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Křikava, and Jan Vitek"
+                 VMIL
+                 2024
+                 "https://doi.org/10.1145/3689490.3690404")
+    (publication "Type Tailoring"
+                 "Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, and Ben Greenman"
+                 ECOOP
+                 2024
+                 "https://doi.org/10.4230/lipics.ecoop.2024.44")
+    (publication "Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs"
+                 "Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q. Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha"
+                 OOPSLA
+                 2024
+                 "https://doi.org/10.1145/3689735")
+    (publication "A Study of Flaky Failure De-Duplication to Identify Unreliably Killed Mutants"
+                 "Abdulrahman Alshammari, Paul Ammann, Michael Hilton, and Jonathan Bell"
+                 ICST
+                 2024
+                 "https://doi.org/10.1109/icstw60967.2024.00054")
+    (publication "An Empirical Examination Of Fuzzer Mutator Performance"
+                 "James Kukucka, Luís Pina, Paul Ammann, and Jonathan Bell"
+                 ISSTA
+                 2024
+                 "https://doi.org/10.1145/3650212.3680387")
+    (publication "The Effects of Computational Resources on Flaky Tests"
+                 "Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, and Jonathan Bell"
+                 TSE
+                 2024
+                 "https://doi.org/10.1109/tse.2024.3462251")
+    (publication "The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments"
+                 "Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, and Jan Vitek"
+                 "European Conference on Object-Oriented Programming (ECOOP)"
+                 2024
+                 "https://doi.org/10.4230/lipics.ecoop.2024.27")
+    (publication "FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions"
+                 "Zhengyao Lin, Joshua Gancher, and Bryan Parno"
+                 OOPSLA
+                 2024
+                 "https://doi.org/10.1145/3689729")
+    (publication "SelfCodeAlign: Self-Alignment for Code Generation"
+                 "Yuxiang Wei, Federico Cassano, Jiawei Liu, Yifeng Ding, Naman Jain, Zachary Mueller, Harm de Vries, Leandro von Werra, Arjun Guha, and Lingming Zhang"
+                 NeurIPS
+                 2024
+                 "https://proceedings.neurips.cc/paper_files/paper/2024/file/72da102da91a8042a0b2aa968429a9f9-Paper-Conference.pdf")
+    (publication "Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting"
+                 "Lisa Oakley, Steven Holtzen, and Alina Oprea"
+                 CSF
+                 2024
+                 "https://doi.org/10.1109/csf61375.2024.00048")
+    (publication "Programming and Reasoning about Actors that Share State"
+                 "Samuel Caldwell, Tony Garnock-Jones, and Matthias Felleisen"
+                 JFP
+                 2024
+                 "https://doi.org/10.1017/s0956796824000091")
     (publication "Realistic Realizability: Specifying ABIs You Can Count On"
                  "Andrew Wagner, Zachary Eisbach, and Amal Ahmed"
                  "Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)"
@@ -114,24 +347,19 @@
                  "https://doi.org/10.1145/3661814.3662135")
     (publication "StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code"
                  "Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q Feldman, and Carolyn Jane Anderson"
-                 "Findings of the Association for Computational Linguistics (ACL Findings)"
+                 ACL
                  2024
                  "https://aclanthology.org/2024.findings-acl.501.pdf")
     (publication "How Beginning Programmers and Code LLMs (Mis)read Each Other"
                  "Sydney Nguyen, Hannah McLean Babe, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, and Molly Q Feldman"
-                 "ACM Conference on Human Factors in Computing Systems (CHI)"
+                 CHI
                  2024
                  "https://dl.acm.org/doi/full/10.1145/3613904.3642706")
     (publication "Knuth-Morris-Pratt Illustrated"
                  "Cameron Moy"
                  JFP
                  2024
                  "https://ccs.neu.edu/~camoy/pub/knuth-morris-pratt.pdf")
-    (publication "Trace Contracts"
-                 "Cameron Moy and Matthias Felleisen"
-                 JFP
-                 2024
-                 "https://ccs.neu.edu/~camoy/pub/trace-contract.pdf")
     (publication "Deploying and Evaluating LLMs to Program Service Mobile Robots"
                  "Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, and Joydeep Biswas"
                  "Robotics and Automation Letters"
@@ -172,6 +400,11 @@
                  MSR
                  2024
                  "https://www.jonbell.net/preprint/msr24-proof-assistants.pdf")
+    (publication "Trace Contracts"
+                 "Cameron Moy and Matthias Felleisen"
+                 JFP
+                 2023
+                 "https://ccs.neu.edu/~camoy/pub/trace-contract.pdf")
     (publication "StarCoder: May the Source be With You!"
                  "Raymond Li, Loubna Ben Allal, Yangtian Zi, Niklas Muennighoff, Denis Kocetkov, Chenghao Mou, Marc Marone, Christopher Akiki, Jia Li, Jenny Chim, Qian Liu, Evgenii Zheltonozhskii, Terry Yue Zhuo, Thomas Wang, Olivier Dehaene, Mishig Davaadorj, Joel Lamy-Poirier, João Monteiro, Oleh Shliazhko, Nicolas Gontier, Nicholas Meade, Armel Randy, Ming-Ho Yee, Logesh Kumar Umapathi, Jian Zhu, Benjamin Lipkin, Muhtasham Oblokulov, Zhiruo Wang, Rudra Murthy, Jason Stillerman, Siva Sankalp Patel, Dmitry Abulkhanov, Marco Zocca, Manan Dey, Zhihan Zhang, Nour Fahmy, Urvashi Bhattacharyya, Suriya Gunasekar, Wenhao Yu, Swayam Singh, Sasha Luccioni, Paulo Villegas, Maxim Kunakov, Fedor Zhdanov, Manuel Romero, Tony Lee, Nadav Timor, Jennifer Ding, Claire Schlesinger, Hailey Schoelkopf, Jan Ebert, Tri Dao, Mayank Mishra, Alex Gu, Jennifer Robinson, Carolyn Jane Anderson, Brendan Dolan-Gavitt, Danish Contractor, Siva Reddy, Daniel Fried, Dzmitry Bahdanau, Yacine Jernite, Carlos Muñoz Ferrandis, Sean Hughes, Thomas Wolf, Arjun Guha, Leandro von Werra, and Harm de Vries"
                  "Transactions on Machine Learning Research (TMLR)"
@@ -219,7 +452,7 @@
                  "https://doi.org/10.1609/aiide.v19i1.27525")
     (publication "Approximating Type Stability In The Julia Jit (Work In Progress)"
                  "Artem Pelenitsyn"
-                 "International Workshop on Virtual Machines and Intermediate Languages (VMIL)"
+                 VMIL
                  2023
                  "https://doi.org/10.1145/3623507.3623556")
     (publication "Typed–Untyped Interactions: A Comparative Analysis"
@@ -364,7 +597,7 @@
                  "https://www.jonbell.net/preprint/confetti.pdf")
     (publication "A Transient Semantics For Typed Racket"
                  "Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen"
-                 "The Art, Science, and Engineering of Programming"
+                 Programming
                  2022
                  "http://www.ccis.neu.edu/racket/pubs/programming-gldf.pdf")
     (publication "Proof Repair Across Type Equivalences"