Arjun Guha

118 papers A* 16A 13B 2C 6Misc 2Journal 62Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Steering Code LLMs with Activation Directions for Language and Library Control.
CoRR
Md Mahbubur Rahman, Arjun Guha, Harshitha Menon
2025 J jnl
"I Would Have Written My Code Differently": Beginners Struggle to Understand LLM-Generated Code.
CoRR
Yangtian Zi, Luisa Li, Arjun Guha, Carolyn Jane Anderson, Molly Q. Feldman
2025 — conf
"I Would Have Written My Code Differently': Beginners Struggle to Understand LLM-Generated Code.
SIGSOFT FSE Companion
Yangtian Zi, Luisa Li, Arjun Guha, Carolyn Jane Anderson, Molly Q. Feldman
2025 J jnl
AgentPack: A Dataset of Code Changes, Co-Authored by Agents and Humans.
CoRR
Yangtian Zi, Zixuan Wu, Aleksander Boruch-Gruszecki, Jonathan Bell, Arjun Guha
2025 J jnl
Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment.
CoRR
Aleksander Boruch-Gruszecki, Yangtian Zi, Zixuan Wu, Tejas Oberoi, Carolyn Jane Anderson, Joydeep Biswas, Arjun Guha
2025 A conf
Bridging the Gap Between Binary and Source Based Package Management in Spack.
SC
John Gouwar, Gregory Becker, Tamara Dahlgren, Nathan Hanford, Arjun Guha, Todd Gamblin
2025 J jnl
Bridging the Gap Between Binary and Source Based Package Management in Spack.
CoRR
John Gouwar, Gregory Becker, Tamara Dahlgren, Nathan Hanford, Arjun Guha, Todd Gamblin
2025 — conf
Instructor-Written Hints as Automated Test Suite Quality Feedback.
SIGCSE (1)
James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell
2025 C conf
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions.
ISC
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, Aaron R. Young
2025 J jnl
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions.
CoRR
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, Aaron R. Young
2025 — conf
More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation.
IJCNLP-AACL (long papers)
Yangtian Zi, Harshitha Menon, Arjun Guha
2025 J jnl
More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation.
CoRR
Yangtian Zi, Harshitha Menon, Arjun Guha
2025 A* conf
NNsight and NDIF: Democratizing Access to Open-Weight Foundation Model Internals.
ICLR
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 J jnl
PhD Knowledge Not Required: A Reasoning Challenge for Large Language Models.
CoRR
Carolyn Jane Anderson, Joydeep Biswas, Aleksander Boruch-Gruszecki, Federico Cassano, Molly Q. Feldman, Arjun Guha, Francesca Lucchetti, Zixuan Wu
2025 — conf
ReasoningWeekly: A General Knowledge and Verbal Reasoning Challenge for Large Language Models.
IJCNLP-AACL (long papers)
Zixuan Wu, Francesca Lucchetti, Aleksander Boruch-Gruszecki, Jingmiao Zhao, Carolyn Jane Anderson, Joydeep Biswas, Federico Cassano, Arjun Guha
2025 — conf
Substance Beats Style: Why Beginning Students Fail to Code with LLMs.
NAACL (Long Papers)
Francesca Lucchetti, Zixuan Wu, Arjun Guha, Molly Q. Feldman, Carolyn Jane Anderson
2024 J jnl
Activation Steering for Robust Type Prediction in CodeLLMs.
CoRR
Francesca Lucchetti, Arjun Guha
2024 J jnl
Creating and Repairing Robot Programs in Open-World Domains.
CoRR
Claire Schlesinger, Arjun Guha, Joydeep Biswas
2024 J jnl
Deploying and Evaluating LLMs to Program Service Mobile Robots.
IEEE Robotics Autom. Lett.
Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, Joydeep Biswas
2024 A* conf
How Beginning Programmers and Code LLMs (Mis)read Each Other.
CHI
Sydney Nguyen, Hannah McLean Babe, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, Molly Q. Feldman
2024 J jnl
How Beginning Programmers and Code LLMs (Mis)read Each Other.
CoRR
Sydney Nguyen, Hannah McLean Babe, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, Molly Q. Feldman
2024 J jnl
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs.
Proc. ACM Program. Lang.
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q. Feldman, Michael Greenberg, Abhinav Jangda, Arjun Guha
2024 A* conf
NL2Code-Reasoning and Planning with LLMs for Code Development.
KDD
Ye Xing, Jun Huan, Wee Hyong Tok, Cong Shen, Johannes Gehrke, Katherine Lin, Arjun Guha, Omer Tripp, Murali Krishna Ramanathan
2024 J jnl
NNsight and NDIF: Democratizing Access to Foundation Model Internals.
CoRR
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
2024 J jnl
Robo-Instruct: Simulator-Augmented Instruction Alignment For Finetuning CodeLLMs.
CoRR
Zichao Hu, Junyi Jessy Li, Arjun Guha, Joydeep Biswas
2024 A* conf
SelfCodeAlign: Self-Alignment for Code Generation.
NeurIPS
Yuxiang Wei, Federico Cassano, Jiawei Liu, Yifeng Ding, Naman Jain, Zachary Mueller, Harm de Vries, Leandro von Werra, Arjun Guha, Lingming Zhang
2024 J jnl
SelfCodeAlign: Self-Alignment for Code Generation.
CoRR
Yuxiang Wei, Federico Cassano, Jiawei Liu, Yifeng Ding, Naman Jain, Zachary Mueller, Harm de Vries, Leandro von Werra, Arjun Guha, Lingming Zhang
2024 — conf
StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code.
ACL (Findings)
Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q. Feldman, Carolyn Jane Anderson
2024 J jnl
Substance Beats Style: Why Beginning Students Fail to Code with LLMs.
CoRR
Francesca Lucchetti, Zixuan Wu, Arjun Guha, Molly Q. Feldman, Carolyn Jane Anderson
2023 A conf
A Large Scale Analysis of Semantic Versioning in NPM.
MSR
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
2023 J jnl
A Large Scale Analysis of Semantic Versioning in NPM.
CoRR
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
2023 — conf
A Tool for Mutation Analysis in Racket.
ICSTW
Bambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell
2023 J jnl
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions.
CoRR
Federico Cassano, Luisa Li, Akul Sethi, Noah Shinn, Abby Brennan-Jones, Anton Lozhkov, Carolyn Jane Anderson, Arjun Guha
2023 J jnl
Continuing WebAssembly with Effect Handlers.
CoRR
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2023 J jnl
Continuing WebAssembly with Effect Handlers.
Proc. ACM Program. Lang.
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2023 J jnl
Deploying and Evaluating LLMs to Program Service Mobile Robots.
CoRR
Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, Joydeep Biswas
2023 A conf
Do Machine Learning Models Produce TypeScript Types That Type Check?
ECOOP
Ming-Ho Yee, Arjun Guha
2023 J jnl
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact).
Dagstuhl Artifacts Ser.
Ming-Ho Yee, Arjun Guha
2023 J jnl
Do Machine Learning Models Produce TypeScript Types that Type Check?
CoRR
Ming-Ho Yee, Arjun Guha
2023 A* conf
Flexible and Optimal Dependency Management via Max-SMT.
ICSE
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin
2023 J jnl
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs.
CoRR
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha
2023 J jnl
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation.
IEEE Trans. Software Eng.
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
2023 J jnl
SantaCoder: don't reach for the stars!
CoRR
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
2023 J jnl
StarCoder: may the source be with you!
CoRR
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 Moustafa-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
2023 J jnl
StarCoder: may the source be with you!
Trans. Mach. Learn. Res.
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 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
2023 J jnl
StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code.
CoRR
Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q. Feldman, Carolyn Jane Anderson
2023 J jnl
Type Prediction With Program Decomposition and Fill-in-the-Type Training.
CoRR
Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen
2023 — conf
npm-follower: A Complete Dataset Tracking the NPM Ecosystem.
ESEC/SIGSOFT FSE
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
2023 J jnl
npm-follower: A Complete Dataset Tracking the NPM Ecosystem.
CoRR
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
2022 J jnl
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages.
CoRR
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 A conf
On the use of mutation analysis for evaluating student test suite quality.
ISSTA
James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell
2022 C ed.
Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2022, Auckland, New Zealand, 7 December 2022
DLS
Wolfgang De Meuter, Arjun Guha
2022 J jnl
Using Solver-Aided Languages to Build Package Managers.
CoRR
Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin
2021 A conf
Accelerating graph sampling for graph machine learning using GPUs.
EuroSys
Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini
2021 C ed.
DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA, October 19, 2021.
DLS
Arjun Guha
2021 A conf
Iterative Program Synthesis for Adaptable Social Navigation.
IROS
Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas
2021 J jnl
Iterative Program Synthesis for Adaptable Social Navigation.
CoRR
Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas
2021 J jnl
Solver-based Gradual Type Migration.
CoRR
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha
2021 J jnl
Solver-based gradual type migration.
Proc. ACM Program. Lang.
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha
2020 A* conf
Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing.
AAAI
Joseph Spitzer, Joydeep Biswas, Arjun Guha
2020 B conf
Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs.
PACT
Abhinav Jangda, Arjun Guha
2020 J jnl
NextDoor: GPU-Based Graph Sampling for Graph Machine Learning.
CoRR
Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini
2020 Misc conf
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis.
CoRL
Jarrett Holtz, Arjun Guha, Joydeep Biswas
2020 J jnl
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis.
CoRR
Jarrett Holtz, Arjun Guha, Joydeep Biswas
2020 J jnl
SMT-based Robot Transition Repair.
CoRR
Jarrett Holtz, Arjun Guha, Joydeep Biswas
2020 J jnl
TacTok: semantics-aware proof synthesis.
Proc. ACM Program. Lang.
Emily First, Yuriy Brun, Arjun Guha
2020 J jnl
Wasm/k: Delimited Continuations for WebAssembly.
CoRR
Donald Pinckney, Arjun Guha, Yuriy Brun
2020 C conf
Wasm/k: delimited continuations for WebAssembly.
DLS
Donald Pinckney, Arjun Guha, Yuriy Brun
2019 J jnl
A Language-based Serverless Function Accelerator.
CoRR
Emily Herbert, Arjun Guha
2019 J jnl
Automatic Failure Recovery for End-User Programs on Service Mobile Robots.
CoRR
Jenna Claire Hammond, Joydeep Biswas, Arjun Guha
2019 J jnl
Formal Foundations of Serverless Computing.
CoRR
Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha
2019 J jnl
Formal foundations of serverless computing.
Proc. ACM Program. Lang.
Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha
2019 J jnl
Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing.
CoRR
Joseph Spitzer, Joydeep Biswas, Arjun Guha
2019 J jnl
Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code.
CoRR
Abhinav Jangda, Bobby Powers, Arjun Guha, Emery D. Berger
2019 J jnl
Model-Based Adaptation for Robotics Software.
IEEE Softw.
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
2019 J jnl
Model-Based Warp-Level Tiling for Image Processing Programs on GPUs.
CoRR
Abhinav Jangda, Arjun Guha
2019 — conf
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code.
USENIX ATC
Abhinav Jangda, Bobby Powers, Emery D. Berger, Arjun Guha
2019 J jnl
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code.
login Usenix Mag.
Abhinav Jangda, Bobby Powers, Emery D. Berger, Arjun Guha
2018 A conf
Demo.
AAMAS
Jarrett Holtz, Arjun Guha, Joydeep Biswas
2018 A* conf
Interactive Robot Transition Repair With SMT.
IJCAI
Jarrett Holtz, Arjun Guha, Joydeep Biswas
2018 J jnl
Interactive Robot Transition Repair With SMT.
CoRR
Jarrett Holtz, Arjun Guha, Joydeep Biswas
2018 J jnl
Putting in All the Stops: Execution Control for JavaScript.
CoRR
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
2018 A* conf
Putting in all the stops: execution control for JavaScript.
PLDI
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
2017 — conf
Fission: Secure Dynamic Code-Splitting for JavaScript.
SNAPL
Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh
2017 J jnl
Tortoise: Interactive System Configuration Repair.
CoRR
Aaron Weiss, Arjun Guha, Yuriy Brun
2017 A* conf
Tortoise: interactive system configuration repair.
ASE
Aaron Weiss, Arjun Guha, Yuriy Brun
2016 A* conf
Rehearsal: a configuration verification tool for puppet.
PLDI
Rian Shambaugh, Aaron Weiss, Arjun Guha
2016 — conf
Safe and Flexible Controller Upgrades for SDNs.
SOSR
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
2016 A conf
The Sweep: Essential Examples for In-Flow Peer Review.
SIGCSE
Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi
2015 J jnl
A Fast Compiler for NetKAT.
CoRR
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
2015 A conf
A fast compiler for NetKAT.
ICFP
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
2015 J jnl
ADsafety: Type-Based Verification of JavaScript Sandboxing.
CoRR
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
2015 J jnl
Morpheus: Safe and Flexible Dynamic Updates for SDNs.
CoRR
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
2015 J jnl
On Static Verification of Puppet System Configurations.
CoRR
Joseph M. Collard, Nimish Gupta, Rian Shambaugh, Aaron Weiss, Arjun Guha
2015 J jnl
The Essence of JavaScript.
CoRR
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
2014 J jnl
Abstractions for software-defined networks.
Commun. ACM
Martín Casado, Nate Foster, Arjun Guha
2014 A* conf
NetkAT: semantic foundations for networks.
POPL
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
2014 J jnl
Typed-based verification of Web sandboxes.
J. Comput. Secur.
Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
2013 — conf
A balance of power: expressive, analyzable controller programming.
HotSDN
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2013 — conf
FatTire: declarative fault tolerance for software-defined networks.
HotSDN
Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster
2013 J jnl
Languages for software-defined networks.
IEEE Commun. Mag.
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
2013 A* conf
Machine-verified network controllers.
PLDI
Arjun Guha, Mark Reitblatt, Nate Foster
2013 A* conf
Participatory networking: an API for application control of SDNs.
SIGCOMM
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
2013 C conf
TeJaS: retrofitting type systems for JavaScript.
DLS
Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
2013 A conf
Teaching garbage collection without implementing compiler or interpreters.
SIGCSE
Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler
2013 B conf
Tutorial: Practical verification of network programs.
FMCAD
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
2012 — conf
Hierarchical policies for software defined networks.
HotSDN@SIGCOMM
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
2012 — conf
Participatory Networking.
Hot-ICE
Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi
2012 — —
Semantics and Types for Safe Web Programming.
Arjun Guha
2011 A* conf
ADsafety: Type-Based Verification of JavaScript Sandboxing.
USENIX Security Symposium
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
2011 A conf
Typing Local Control and State Using Flow Analysis.
ESOP
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
2011 A* conf
Verified Security for Browser Extensions.
IEEE Symposium on Security and Privacy
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy
2010 — conf
Minding the (semantic) gap: engineering programming language theory.
FoSER
Arjun Guha, Shriram Krishnamurthi
2010 A conf
The Essence of JavaScript.
ECOOP
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
2009 A conf
Flapjax: a programming language for Ajax applications.
OOPSLA
Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi
2009 A* conf
Using static analysis for Ajax intrusion detection.
WWW
Arjun Guha, Shriram Krishnamurthi, Trevor Jim
2007 Misc conf
An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter Function.
VLSI Design
Qikai Chen, Arjun Guha, Kaushik Roy
2007 C conf
Relationally-parametric polymorphic contracts.
DLS
Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi