Arjun Guha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
31
Active years
2007–2025
Best venue rank
A*
Where they publish
- A*SIGCOMM4 papers
- ASIGCSE3 papers
- CDLS3 papers
- A*PLDI3 papers
- BIJCNLP2 papers
- AECOOP2 papers
- A*ICLR1 paper
- ANAACL1 paper
- ASC1 paper
- A*ACL1 paper
- A*CHI1 paper
- A*KDD1 paper
- A*ICSE1 paper
- AICST1 paper
- AMSR1 paper
- AISSTA1 paper
- AEuroSys1 paper
- AIROS1 paper
- A*AAAI1 paper
- UnrankedCoRL1 paper
- AUSENIX1 paper
- A*IJCAI1 paper
- AICFP1 paper
- A*POPL1 paper
- BFMCAD1 paper
- NationalNSDI1 paper
- AESOP1 paper
- A*SP1 paper
- AOOPSLA1 paper
- A*WWW1 paper
- NationalVLSID1 paper
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | 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, David Bau |
| 2025 | IJCNLP | 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, Arjun Guha |
| 2025 | IJCNLP | More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation. | Yangtian Zi, Harshitha Menon, Arjun Guha |
| 2025 | NAACL | Substance Beats Style: Why Beginning Students Fail to Code with LLMs. | Francesca Lucchetti, Zixuan Wu, Arjun Guha, Molly Q. Feldman, Carolyn Jane Anderson |
| 2025 | SIGCSE | Instructor-Written Hints as Automated Test Suite Quality Feedback. | James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell |
| 2025 | SC | Bridging the Gap Between Binary and Source Based Package Management in Spack. | John Gouwar, Gregory Becker, Tamara Dahlgren, Nathan Hanford, Arjun Guha, Todd Gamblin |
| 2024 | ACL | 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, Carolyn Jane Anderson |
| 2024 | CHI | How Beginning Programmers and Code LLMs (Mis)read Each Other. | Sydney Nguyen, Hannah McLean Babe, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, Molly Q. Feldman |
| 2024 | KDD | NL2Code-Reasoning and Planning with LLMs for Code Development. | Ye Xing, Jun Huan, Wee Hyong Tok, Cong Shen, Johannes Gehrke, Katherine Lin, Arjun Guha, Omer Tripp, Murali Krishna Ramanathan |
| 2023 | ECOOP | Do Machine Learning Models Produce TypeScript Types That Type Check? | Ming-Ho Yee, Arjun Guha |
| 2023 | ICSE | Flexible and Optimal Dependency Management via Max-SMT. | Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin |
| 2023 | ICST | A Tool for Mutation Analysis in Racket. | Bambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell |
| 2023 | MSR | A Large Scale Analysis of Semantic Versioning in NPM. | Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell |
| 2022 | ISSTA | On the use of mutation analysis for evaluating student test suite quality. | James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell |
| 2021 | EuroSys | Accelerating graph sampling for graph machine learning using GPUs. | Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini |
| 2021 | IROS | Iterative Program Synthesis for Adaptable Social Navigation. | Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas |
| 2020 | AAAI | Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing. | Joseph Spitzer, Joydeep Biswas, Arjun Guha |
| 2020 | CoRL | Robot Action Selection Learning via Layered Dimension Informed Program Synthesis. | Jarrett Holtz, Arjun Guha, Joydeep Biswas |
| 2020 | DLS | Wasm/k: delimited continuations for WebAssembly. | Donald Pinckney, Arjun Guha, Yuriy Brun |
| 2019 | USENIX | Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. | Abhinav Jangda, Bobby Powers, Emery D. Berger, Arjun Guha |
| 2018 | IJCAI | Interactive Robot Transition Repair With SMT. | Jarrett Holtz, Arjun Guha, Joydeep Biswas |
| 2018 | PLDI | Putting in all the stops: execution control for JavaScript. | Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha |
| 2016 | PLDI | Rehearsal: a configuration verification tool for puppet. | Rian Shambaugh, Aaron Weiss, Arjun Guha |
| 2016 | SIGCSE | The Sweep: Essential Examples for In-Flow Peer Review. | Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi |
| 2015 | ICFP | A fast compiler for NetKAT. | Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha |
| 2014 | POPL | NetkAT: semantic foundations for networks. | Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker |
| 2013 | DLS | TeJaS: retrofitting type systems for JavaScript. | Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi |
| 2013 | FMCAD | Tutorial: Practical verification of network programs. | Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger |
| 2013 | PLDI | Machine-verified network controllers. | Arjun Guha, Mark Reitblatt, Nate Foster |
| 2013 | SIGCSE | Teaching garbage collection without implementing compiler or interpreters. | Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler |
| 2013 | SIGCOMM | Participatory networking: an API for application control of SDNs. | Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi |
| 2013 | SIGCOMM | A balance of power: expressive, analyzable controller programming. | Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2013 | SIGCOMM | FatTire: declarative fault tolerance for software-defined networks. | Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster |
| 2012 | NSDI | Participatory Networking. | Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi |
| 2012 | SIGCOMM | Hierarchical policies for software defined networks. | Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi |
| 2011 | ESOP | Typing Local Control and State Using Flow Analysis. | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
| 2011 | SP | Verified Security for Browser Extensions. | Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy |
| 2010 | ECOOP | The Essence of JavaScript. | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
| 2009 | OOPSLA | Flapjax: a programming language for Ajax applications. | Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi |
| 2009 | WWW | Using static analysis for Ajax intrusion detection. | Arjun Guha, Shriram Krishnamurthi, Trevor Jim |
| 2007 | DLS | Relationally-parametric polymorphic contracts. | Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi |
| 2007 | VLSID | An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter Function. | Qikai Chen, Arjun Guha, Kaushik Roy |