Arjun Guha

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 66

Top Topics

Code Generation

Programming Language

Failure Recovery

Top Venues

Proc. ACM Program. Lang.

Publications

Sydney Nguyen, Hannah McLean Babe, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, Molly Q. Feldman
How Beginning Programmers and Code LLMs (Mis)read Each Other. CoRR (2024)
Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q. Feldman, Carolyn Jane Anderson
StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code. ACL (Findings) (2024)
Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, Joydeep Biswas
Deploying and Evaluating LLMs to Program Service Mobile Robots. IEEE Robotics Autom. Lett. 9 (3) (2024)
Ye Xing, Jun Huan, Wee Hyong Tok, Cong Shen, Johannes Gehrke, Katherine Lin, Arjun Guha, Omer Tripp, Murali Krishna Ramanathan
NL2Code-Reasoning and Planning with LLMs for Code Development. KDD (2024)
Zichao Hu, Junyi Jessy Li, Arjun Guha, Joydeep Biswas
Robo-Instruct: Simulator-Augmented Instruction Alignment For Finetuning CodeLLMs. CoRR (2024)
Sydney Nguyen, Hannah McLean Babe, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, Molly Q. Feldman
How Beginning Programmers and Code LLMs (Mis)read Each Other. CHI (2024)
Francesca Lucchetti, Arjun Guha
Activation Steering for Robust Type Prediction in CodeLLMs. CoRR (2024)
Jaden Fiotto-Kaufman, Alexander R. Loftus, Eric Todd, Jannik Brinkmann, Caden Juang, Koyena Pal, Can Rager, Aaron Mueller, Samuel Marks, Arnab Sen Sharma, Francesca Lucchetti, Michael Ripa, Adam Belfki, Nikhil Prakash, Sumeet Multani, Carla E. Brodley, Arjun Guha, Jonathan Bell, Byron C. Wallace, David Bau
NNsight and NDIF: Democratizing Access to Foundation Model Internals. CoRR (2024)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. ESEC/SIGSOFT FSE (2023)
Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen
Type Prediction With Program Decomposition and Fill-in-the-Type Training. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin
Flexible and Optimal Dependency Management via Max-SMT. ICSE (2023)
Federico Cassano, Luisa Li, Akul Sethi, Noah Shinn, Abby Brennan-Jones, Anton Lozhkov, Carolyn Jane Anderson, Arjun Guha
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
A Large Scale Analysis of Semantic Versioning in NPM. CoRR (2023)
Ming-Ho Yee, Arjun Guha
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Loubna Ben Allal, Raymond Li, Denis Kocetkov, Chenghao Mou, Christopher Akiki, Carlos Muñoz 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, Leandro von Werra
SantaCoder: don't reach for the stars! CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. CoRR (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 Zebaze, Ming-Ho Yee, Logesh Kumar Umapathi, Jian Zhu, Benjamin Lipkin, Muhtasham Oblokulov, Zhiruo Wang, Rudra Murthy V, Jason Stillerman, Siva Sankalp Patel, Dmitry Abulkhanov, Marco Zocca, Manan Dey, Zhihan Zhang, Nour Fahmy, Urvashi Bhattacharyya, 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! CoRR (2023)
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
A Large Scale Analysis of Semantic Versioning in NPM. MSR (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 Zebaze, Ming-Ho Yee, Logesh Kumar Umapathi, Jian Zhu, Benjamin Lipkin, Muhtasham Oblokulov, Zhiruo Wang, Rudra Murthy, Jason T. Stillerman, Siva Sankalp Patel, Dmitry Abulkhanov, Marco Zocca, Manan Dey, Zhihan Zhang, Nour Fahmy, Urvashi Bhattacharyya, 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! Trans. Mach. Learn. Res. 2023 (2023)
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. CoRR (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 Trans. Software Eng. 49 (7) (2023)
Bambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell
A Tool for Mutation Analysis in Racket. ICSTW (2023)
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs. CoRR (2023)
Ming-Ho Yee, Arjun Guha
Do Machine Learning Models Produce TypeScript Types that Type Check? CoRR (2023)
Ming-Ho Yee, Arjun Guha
Do Machine Learning Models Produce TypeScript Types That Type Check? ECOOP (2023)
Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, Joydeep Biswas
Deploying and Evaluating LLMs to Program Service Mobile Robots. CoRR (2023)
Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q. Feldman, Carolyn Jane Anderson
StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code. CoRR (2023)
Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin
Using Solver-Aided Languages to Build Package Managers. CoRR (2022)
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
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. CoRR (2022)
James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell
On the use of mutation analysis for evaluating student test suite quality. ISSTA (2022)
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha
Solver-based gradual type migration. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha
Solver-based Gradual Type Migration. CoRR (2021)
Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini
Accelerating graph sampling for graph machine learning using GPUs. EuroSys (2021)
Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas
Iterative Program Synthesis for Adaptable Social Navigation. CoRR (2021)
Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas
Iterative Program Synthesis for Adaptable Social Navigation. IROS (2021)
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis. CoRR (2020)
Donald Pinckney, Arjun Guha, Yuriy Brun
Wasm/k: Delimited Continuations for WebAssembly. CoRR (2020)
Emily First, Yuriy Brun, Arjun Guha
TacTok: semantics-aware proof synthesis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Joseph Spitzer, Joydeep Biswas, Arjun Guha
Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing. AAAI (2020)
Donald Pinckney, Arjun Guha, Yuriy Brun
Wasm/k: delimited continuations for WebAssembly. DLS (2020)
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis. CoRL (2020)
Jarrett Holtz, Arjun Guha, Joydeep Biswas
SMT-based Robot Transition Repair. CoRR (2020)
Abhinav Jangda, Arjun Guha
Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs. PACT (2020)
Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini
NextDoor: GPU-Based Graph Sampling for Graph Machine Learning. CoRR (2020)
Emily Herbert, Arjun Guha
A Language-based Serverless Function Accelerator. CoRR (2019)
Abhinav Jangda, Bobby Powers, Emery D. Berger, Arjun Guha
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. login Usenix Mag. 44 (3) (2019)
Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi
Model-Based Adaptation for Robotics Software. IEEE Softw. 36 (2) (2019)
Jenna Claire Hammond, Joydeep Biswas, Arjun Guha
Automatic Failure Recovery for End-User Programs on Service Mobile Robots. CoRR (2019)
Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha
Formal Foundations of Serverless Computing. CoRR (2019)
Abhinav Jangda, Bobby Powers, Arjun Guha, Emery D. Berger
Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code. CoRR (2019)
Joseph Spitzer, Joydeep Biswas, Arjun Guha
Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing. CoRR (2019)
Abhinav Jangda, Bobby Powers, Emery D. Berger, Arjun Guha
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. USENIX Annual Technical Conference (2019)
Abhinav Jangda, Arjun Guha
Model-Based Warp-Level Tiling for Image Processing Programs on GPUs. CoRR (2019)
Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha
Formal foundations of serverless computing. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
Putting in all the stops: execution control for JavaScript. PLDI (2018)
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Interactive Robot Transition Repair With SMT. IJCAI (2018)
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
Putting in All the Stops: Execution Control for JavaScript. CoRR (2018)
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Demo. AAMAS (2018)
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Interactive Robot Transition Repair With SMT. CoRR (2018)
Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh
Fission: Secure Dynamic Code-Splitting for JavaScript. SNAPL (2017)
Aaron Weiss, Arjun Guha, Yuriy Brun
Tortoise: interactive system configuration repair. ASE (2017)
Aaron Weiss, Arjun Guha, Yuriy Brun
Tortoise: Interactive System Configuration Repair. CoRR (2017)
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
Safe and Flexible Controller Upgrades for SDNs. SOSR (2016)
Rian Shambaugh, Aaron Weiss, Arjun Guha
Rehearsal: a configuration verification tool for puppet. PLDI (2016)
Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi
The Sweep: Essential Examples for In-Flow Peer Review. SIGCSE (2016)
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
Morpheus: Safe and Flexible Dynamic Updates for SDNs. CoRR (2015)
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
The Essence of JavaScript. CoRR (2015)
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A Fast Compiler for NetKAT. CoRR (2015)
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A fast compiler for NetKAT. ICFP (2015)
Joseph M. Collard, Nimish Gupta, Rian Shambaugh, Aaron Weiss, Arjun Guha
On Static Verification of Puppet System Configurations. CoRR (2015)
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
ADsafety: Type-Based Verification of JavaScript Sandboxing. CoRR (2015)
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
NetkAT: semantic foundations for networks. POPL (2014)
Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
Typed-based verification of Web sandboxes. J. Comput. Secur. 22 (4) (2014)
Martín Casado, Nate Foster, Arjun Guha
Abstractions for software-defined networks. Commun. ACM 57 (10) (2014)
Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
TeJaS: retrofitting type systems for JavaScript. DLS (2013)
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
Tutorial: Practical verification of network programs. FMCAD (2013)
Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler
Teaching garbage collection without implementing compiler or interpreters. SIGCSE (2013)
Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison
Languages for software-defined networks. IEEE Commun. Mag. 51 (2) (2013)
Arjun Guha, Mark Reitblatt, Nate Foster
Machine-verified network controllers. PLDI (2013)
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
A balance of power: expressive, analyzable controller programming. HotSDN (2013)
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
Participatory networking: an API for application control of SDNs. SIGCOMM (2013)
Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster
FatTire: declarative fault tolerance for software-defined networks. HotSDN (2013)
Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi
Participatory Networking. Hot-ICE (2012)
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
Hierarchical policies for software defined networks. HotSDN@SIGCOMM (2012)
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
ADsafety: Type-Based Verification of JavaScript Sandboxing. USENIX Security Symposium (2011)
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy
Verified Security for Browser Extensions. IEEE Symposium on Security and Privacy (2011)
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
Typing Local Control and State Using Flow Analysis. ESOP (2011)
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
The Essence of JavaScript. ECOOP (2010)
Arjun Guha, Shriram Krishnamurthi
Minding the (semantic) gap: engineering programming language theory. FoSER (2010)
Arjun Guha, Shriram Krishnamurthi, Trevor Jim
Using static analysis for Ajax intrusion detection. WWW (2009)
Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi
Flapjax: a programming language for Ajax applications. OOPSLA (2009)
Qikai Chen, Arjun Guha, Kaushik Roy
An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter Function. VLSI Design (2007)
Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi
Relationally-parametric polymorphic contracts. DLS (2007)