James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell. Instructor-Written Hints as Automated Test Suite Quality Feedback. ACM Technical Symposium on Computer Science Education (SIGCSE), 2025
Yuxiang Wei, Federico Cassano, Jiawei Liu, Yifeng Ding, Naman Jain, Zachary Mueller, Harm de Vries, Leandro Von Werra, Arjun Guha, and Lingming Zhang. Fully Transparent Self-Alignment for Code Generation. Neural Information Processing Systems (NeurIPS), 2024
Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q Feldman, and Carolyn Jane Anderson. StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code. Findings of the Association for Computational Linguistics (ACL Findings), 2024
Francesca Lucchetti and Arjun Guha. Activation Steering for Robust Type Prediction in CodeLLMs. , 2024
Anton Lozhkov, Raymond Li, Loubna Ben Allal, Federico Cassano, Joel Lamy-Poirier, Nouamane Tazi, Ao Tang, Dmytro Pykhtar, Jiawei Liu, Yuxiang Wei, Tianyang Liu, Max Tian, Denis Kocetkov, Arthur Zucker, Younes Belkada, Zijian Wang, Qian Liu, Dmitry Abulkhanov, Indraneil Paul, Zhuang Li, Wen-Ding Li, Megan Risdal, Jia Li, Jian Zhu, Terry Yue Zhuo, Evgenii Zheltonozhskii, Nii Osae Osae Dade, Wenhao Yu, Lucas Krauß, Naman Jain, Yixuan Su, Xuanli He, Manan Dey, Edoardo Abati, Yekun Chai, Niklas Muennighoff, Xiangru Tang, Muhtasham Oblokulov, Christopher Akiki, Marc Marone, Chenghao Mou, Mayank Mishra, Alex Gu, Binyuan Hui, Tri Dao, Armel Zebaze, Olivier Dehaene, Nicolas Patry, Canwen Xu, Julian McAuley, Han Hu, Torsten Scholak, Sebastien Paquet, Jennifer Robinson, Carolyn Jane Anderson, Nicolas Chapados, Mostofa Patwary, Nima Tajbakhsh, Yacine Jernite, Carlos Muñoz Ferrandis, Lingming Zhang, Sean Hughes, Thomas Wolf, Arjun Guha, Leandro von Werra, and Harm de Vries. StarCoder 2 and The Stack v2: The Next Generation. , 2024
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha. Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2024
Francesca Lucchetti, Zixuan Wu, Arjun Guha, Molly Q Feldman, and Carolyn Jane Anderson. Substance Beats Style: Why Beginning Students Fail to Code with LLMs. , 2024
Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, and Molly Q Feldman. How Beginning Programmers and Code LLMs (Mis)read Each Other. ACM Conference on Human Factors in Computing Systems (CHI), 2024
Federico Cassano, Luisa Li, Akul Sethi, Noah Shinn, Abby Brennan-Jones, Anton Lozkhov, Carolyn Jane Anderson and Arjun Guha. Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions. Conference on Language Modelling (COLM), 2024
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley. Continuing WebAssembly with Effect Handlers. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2023
Ming-Ho Yee and Arjun Guha. Do Machine Learning Models Produce TypeScript Types that Type Check?. European Conference on Object-Oriented Programming (ECOOP), 2023
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, Harm de Vries.. StarCoder: May the Source be With You!. Transactions on Machine Learning Research (TMLR), 2023
Loubna Ben Allal, Raymond Li, Denis Kocetkov, Chenghao Mou, Christopher Akiki, Carlos Munoz Ferrandis, Niklas Muennighoff, Mayank Mishra, Alex Gu, Manan Dey, Logesh Kumar Umapathi, Carolyn Jane Anderson, Yangtian Zi, Joel Lamy Poirier, Hailey Schoelkopf, Sergey Troshin, Dmitry Abulkhanov, Manuel Romero, Michael Lappert, Francesco De Toni, Bernardo García del Río, Qian Liu, Shamik Bose, Urvashi Bhattacharyya, Terry Yue Zhuo, Ian Yu, Paulo Villegas, Marco Zocca, Sourab Mangrulkar, David Lansky, Huu Nguyen, Danish Contractor, Luis Villa, Jia Li, Dzmitry Bahdanau, Yacine Jernite, Sean Hughes, Daniel Fried, Arjun Guha, Harm de Vries, and Leandro von Werra. SantaCoder: don't reach for the stars!. Deep Learning for Code Workshop (DL4C), 2023. Best Paper Award
Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, and Steven Holtzen. Type Prediction With Program Decomposition and Fill-in-the-Type Training. , 2023
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. MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Transactions on Software Engineering (TSE), 2023
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin. Flexible and Optimal Dependency Management via Max-SMT. IEEE/ACM International Conference on Software Engineering (ICSE), 2023
Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, and Joydeep Biswas. Deploying and Evaluating LLMs to Program Service Mobile Robots. IEEE Robotics and Automation Letters (RA-L), 2023
Donald Pinckney, Federico Cassano, Arjun Guha, and Jonathan Bell. A Large Scale Analysis of Semantic Versioning in NPM. Mining Software Repositories (MSR), 2023
James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell. On the use of mutation analysis for evaluating student test suite quality. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha. Solver-Based Gradual Type Migration. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2021. Distinguished Artifact Award
Abhinav Jangda, Sandeep Polisetty, Arjun Guha, and Marco Serafini. Accelerating Graph Sampling for Graph Machine Learning using GPUs. European Systems Conference (EuroSys), 2021
Jarrett Holtz, Simon Andrews, Arjun Guha, and Joydeep Biswas. Iterative Program Synthesis for Adaptable Social Navigation. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021
Jarrett Holtz, Simon Andrews, Arjun Guha, and Joydeep Biswas. Iterative Program Synthesis for Adaptable Social Navigation. RSS Workshop on Social Robot Navigation, 2021
Joseph Spitzer, Joydeep Biswas, and Arjun Guha. Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing. Educational Advances in Artificial Intelligence (EAAI), 2020
Christopher Rybicki. Compiling from a typed dialect of Scheme to WebAssembly. University of Massachusetts Amherst, 2020
Emily First, Yuriy Brun, and Arjun Guha. TacTok: semantics-aware proof synthesis. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2020
Donald Pinckney, Yuriy Brun, and Arjun Guha. Wasm/k: Delimited Continuations for WebAssembly. Dynamic Languages Symposium (DLS), 2020
Abhinav Jangda and Arjun Guha. Model-Based Warp-Level Tiling for Image Processing Programs on GPUs. International Conference on Parallel Architectures and Compilation Techniques (PACT), 2020. Best Paper Award
Jarrett Holtz, Arjun Guha, and Joydeep Biswas. Robot Action Selection Learning via Layered Dimension Informed Program Synthesis. Conference on Robot Learning (CoRL), 2020
Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha. Formal Foundations of Serverless Computing. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2019. Distinguished Paper Award
Abhinav Jangda, Bobby Powers, Emery Berger, and Arjun Guha. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. USENIX ;login:, 2019
Abhinav Jangda, Bobby Powers, Emery Berger, and Arjun Guha. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. USENIX Annual Technical Conference (ATC), 2019
Emily Herbert and Arjun Guha. A Language-based Serverless Function Accelerator. , 2019
Jenna Claire Hammond, Joydeep Biswas, and Arjun Guha. Automatic Failure Recovery for End-User Programs on Service Mobile Robots. , 2019
Samuel Baxter. A JavaScript Programming Model for Serverless Compositions. University of Massachusetts Amherst, 2019
Jonathan Aldrich, David Garlan, Christian Kaestner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Camara, and Pooyan Jamshidi. Model-Based Adaptation for Robotics Software. IEEE Software, 2019
Jarrett Holtz, Arjun Guha, and Joydeep Biswas. Interactive Robot Transition Repair with SMT. International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence (IJCAI-ECAI), 2018
Jarrett Holtz, Arjun Guha, and Joydeep Biswas. Interactive Robot Transition Repair with SMT. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018. Demo Track, Most Innovative Demo Award
Javier Burroni, Arjun Guha, and David Jensen. Interactive Writing and Debugging of Bayesian Probabilistic Programs. Probabilistic Programming Languages, Semantics, and Systems (PPS), 2018
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha. Putting in All the Stops: Execution Control for JavaScript. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2018
Aaron Weiss, Arjun Guha, and Yuriy Brun. Tortoise: Interactive System Configuration Repair. IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen and Rian Shambaugh. Fission: Secure Dynamic Code-Splitting for JavaScript. Summit on Advances in Programming Languages (SNAPL 2017), 2017
Rian Shambaugh, Aaron Weiss, and Arjun Guha. Rehearsal: A Configuration Verification Tool for Puppet. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2016. Distinguished Artifact Award
Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, and Shriram Krishnamurthi. The Sweep: Essential Examples for In-Flow Peer Review. ACM Technical Symposium on Computer Science Education (SIGCSE), 2016
Karla Saur, Joseph Collard, Nate Foster, Arjun Guha, Laurent Vanbever, and Michael Hicks. Morpheus: Safe and Flexible Controller Upgrades for SDNs. Symposium on SDN Research (SOSR), 2016
Steffen Smolka, Spiridon Eliopoulos, Nate Foster, Arjun Guha. A Fast Compiler for NetKAT. ACM SIGPLAN International Conference on Functional Programming (ICFP), 2015. ACM SIGPLAN Research Highlight
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. NetKAT: Semantic Foundations for Networks. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2014
Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi. Type-based Verification of JavaScript Sandboxing. Journal of Computer Security, 2014
Martìn Casado, Nate Foster, and Arjun Guha. Abstractions for Software-Defined Networks. Communications of the ACM (CACM), 2014
Mark Reitblatt, Marco Canini, Arjun Guha, and Nate Foster. FatTire: Declarative Fault Tolerance for Software Defined Networks. Workshop on Hot Topics in Software Defined Networking (HotSDN), 2013
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. A Balance of Power: Expressive, Analyzable Controller Programming. Workshop on Hot Topics in Software Defined Networking (HotSDN), 2013
Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi. TeJaS: Retrofitting Type Systems for JavaScript. Dynamic Languages Symposium (DLS), 2013
Arjun Guha, Mark Reitblatt, and Nate Foster. Machine-Verified Network Controllers. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2013
The Frenetic Contributors. The Frenetic Network Controller. The OCaml Users and Developers Workshop, 2013
Nate Foster, Michael J. Freedman, Arjun Guha, Rob Harrison, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Mark Reitblatt, Jennifer Rexford, Cole Schlesinger, Alec Story, and David Walker. Languages for Software-Defined Networks. IEEE Communications Magazine 51(2):128-134, 2013
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, and Shriram Krishnamurthi. Participatory Networking: An API for Application Control in SDNs. ACM SIGCOMM, 2013
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, and Shriram Krishnamurthi. A Northbound API for Sharing SDNs. Open Networking Summit (ONS) Research Track, 2013
Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay McCarthy, and Robert Bruce Findler. Teaching Garbage Collection without Implementing Compilers or Interpreters. ACM Technical Symposium on Computer Science Education (SIGCSE), 2013
Arjun Guha, Mark Reitblatt, and Nate Foster. Formal Foundations for Software Defined Networks. Open Networking Summit (ONS) Research Track, 2013
Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi. Semantics and Types for Objects with First-Class Member Names. Workshop on Foundations of Object-Oriented Languages (FOOL), 2012
Arjun Guha. Semantics and Types for Safe Web Programming. Brown University, 2012. PhD Dissertation
Arjun Guha, Benjamin S. Lerner, Joe Gibbs Politz, and Shriram Krishnamurthi. Web API Verification: Results and Challenges. Analysis of Security APIs (ASA), 2012
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, and Shriram Krishnamurthi. Hierarchical Policies for Software Defined Networks. Workshop on Hot Topics in Software Defined Networking (HotSDN), 2012
Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, and Shriram Krishnamurthi. Participatory Networking. USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (HotICE), 2012
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, and Shriram Krishnamurthi. ADsafety: Type-based Verification of JavaScript Sandboxing. USENIX Security Symposium, 2011
Arjun Guha and Shriram Krishnamurthi. Minding the (Semantic) Gap: Engineering Programming Language Theory. Workshop on the Future of Software Engineering Research (FoSER), 2011
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. Typing Local Control and State Using Flow Analysis. European Symposium on Programming (ESOP), 2011
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, and Nikhil Swamy. Verified Security for Browser Extensions. IEEE Security and Privacy (Oakland), 2011
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. The Essence of JavaScript. European Conference on Object Oriented Programming (ECOOP), 2010
Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi. Flapjax: A Programming Language for Ajax Applications. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2009. Best Student Paper Award, Most Influential Paper Award (Awarded in 2019)
Arjun Guha, Shriram Krishnamurthi, and Trevor Jim. Using Static Analysis for Ajax Intrusion Detection. World Wide Web Conference (WWW), 2009
Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. Relationally-Parametric Polymorphic Contracts. Dynamic Languages Symposium (DLS), 2007