Arjun Guha

According to our database, Arjun Guha authored at least 71 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Deploying and Evaluating LLMs to Program Service Mobile Robots.

Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, Joydeep Biswas

IEEE Robotics Autom. Lett., 2024

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

CoRR, 2024

2023

Continuing WebAssembly with Effect Handlers.

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley

Proc. ACM Program. Lang., October, 2023

MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation.

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

IEEE Trans. Software Eng., July, 2023

Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact).

Ming-Ho Yee, Arjun Guha

Dagstuhl Artifacts Ser., 2023

Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions.

Federico Cassano, Luisa Li, Akul Sethi, Noah Shinn, Abby Brennan-Jones, Anton Lozhkov, Carolyn Jane Anderson, Arjun Guha

CoRR, 2023

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs.

Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha

CoRR, 2023

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

CoRR, 2023

Type Prediction With Program Decomposition and Fill-in-the-Type Training.

Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen

CoRR, 2023

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 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

CoRR, 2023

SantaCoder: don't reach for the stars!

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

CoRR, 2023

npm-follower: A Complete Dataset Tracking the NPM Ecosystem.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

A Large Scale Analysis of Semantic Versioning in NPM.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

A Tool for Mutation Analysis in Racket.

Bambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Flexible and Optimal Dependency Management via Max-SMT.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Do Machine Learning Models Produce TypeScript Types That Type Check?

Ming-Ho Yee, Arjun Guha

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages.

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

CoRR, 2022

Using Solver-Aided Languages to Build Package Managers.

Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin

CoRR, 2022

On the use of mutation analysis for evaluating student test suite quality.

James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

Solver-based gradual type migration.

Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha

Proc. ACM Program. Lang., 2021

Iterative Program Synthesis for Adaptable Social Navigation.

Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Accelerating graph sampling for graph machine learning using GPUs.

Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

TacTok: semantics-aware proof synthesis.

Emily First, Yuriy Brun, Arjun Guha

Proc. ACM Program. Lang., 2020

NextDoor: GPU-Based Graph Sampling for Graph Machine Learning.

Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini

CoRR, 2020

SMT-based Robot Transition Repair.

Jarrett Holtz, Arjun Guha, Joydeep Biswas

CoRR, 2020

Wasm/k: delimited continuations for WebAssembly.

Donald Pinckney, Arjun Guha, Yuriy Brun

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

Robot Action Selection Learning via Layered Dimension Informed Program Synthesis.

Jarrett Holtz, Arjun Guha, Joydeep Biswas

Proceedings of the 4th Conference on Robot Learning, 2020

Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing.

Joseph Spitzer, Joydeep Biswas, Arjun Guha

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs.

Abhinav Jangda, Arjun Guha

Proceedings of the PACT '20: International Conference on Parallel Architectures and Compilation Techniques, 2020

2019

Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code.

Abhinav Jangda, Bobby Powers, Emery D. Berger, Arjun Guha

login Usenix Mag., 2019

Model-Based Adaptation for Robotics Software.

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

IEEE Softw., 2019

Formal foundations of serverless computing.

Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha

Proc. ACM Program. Lang., 2019

A Language-based Serverless Function Accelerator.

Emily Herbert, Arjun Guha

CoRR, 2019

Model-Based Warp-Level Tiling for Image Processing Programs on GPUs.

Abhinav Jangda, Arjun Guha

CoRR, 2019

Automatic Failure Recovery for End-User Programs on Service Mobile Robots.

Jenna Claire Hammond, Joydeep Biswas, Arjun Guha

CoRR, 2019

Formal Foundations of Serverless Computing.

Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha

CoRR, 2019

Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code.

Abhinav Jangda, Bobby Powers, Arjun Guha, Emery D. Berger

CoRR, 2019

2018

Putting in all the stops: execution control for JavaScript.

Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Interactive Robot Transition Repair With SMT.

Jarrett Holtz, Arjun Guha, Joydeep Biswas

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Demo.

Jarrett Holtz, Arjun Guha, Joydeep Biswas

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Fission: Secure Dynamic Code-Splitting for JavaScript.

Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Tortoise: interactive system configuration repair.

Aaron Weiss, Arjun Guha, Yuriy Brun

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Safe and Flexible Controller Upgrades for SDNs.

Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks

Proceedings of the Symposium on SDN Research, 2016

The Sweep: Essential Examples for In-Flow Peer Review.

Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Rehearsal: a configuration verification tool for puppet.

Rian Shambaugh, Aaron Weiss, Arjun Guha

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Morpheus: Safe and Flexible Dynamic Updates for SDNs.

Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks

CoRR, 2015

On Static Verification of Puppet System Configurations.

Joseph M. Collard, Nimish Gupta, Rian Shambaugh, Aaron Weiss, Arjun Guha

CoRR, 2015

A fast compiler for NetKAT.

Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Typed-based verification of Web sandboxes.

Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi

J. Comput. Secur., 2014

Abstractions for software-defined networks.

Martín Casado, Nate Foster, Arjun Guha

Commun. ACM, 2014

NetkAT: semantic foundations for networks.

Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Languages for software-defined networks.

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

IEEE Commun. Mag., 2013

Teaching garbage collection without implementing compiler or interpreters.

Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

FatTire: declarative fault tolerance for software-defined networks.

Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

A balance of power: expressive, analyzable controller programming.

Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Participatory networking: an API for application control of SDNs.

Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Machine-verified network controllers.

Arjun Guha, Mark Reitblatt, Nate Foster

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Tutorial: Practical verification of network programs.

Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger

Proceedings of the Formal Methods in Computer-Aided Design, 2013

TeJaS: retrofitting type systems for JavaScript.

Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi

Proceedings of the DLS'13, 2013

2012

Semantics and Types for Safe Web Programming.

Arjun Guha

PhD thesis, 2012

Hierarchical policies for software defined networks.

Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the first workshop on Hot topics in software defined networks, 2012

Participatory Networking.

Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 2nd USENIX Workshop on Hot Topics in Management of Internet, 2012

2011

ADsafety: Type-Based Verification of JavaScript Sandboxing.

Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi

Proceedings of the 20th USENIX Security Symposium, 2011

Verified Security for Browser Extensions.

Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Typing Local Control and State Using Flow Analysis.

Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi

Proceedings of the Programming Languages and Systems, 2011

2010

Minding the (semantic) gap: engineering programming language theory.

Arjun Guha, Shriram Krishnamurthi

Proceedings of the Workshop on Future of Software Engineering Research, 2010

The Essence of JavaScript.

Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi

Proceedings of the ECOOP 2010, 2010

2009

Using static analysis for Ajax intrusion detection.

Arjun Guha, Shriram Krishnamurthi, Trevor Jim

Proceedings of the 18th International Conference on World Wide Web, 2009

Flapjax: a programming language for Ajax applications.

Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2007

An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter Function.

Qikai Chen, Arjun Guha, Kaushik Roy

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Relationally-parametric polymorphic contracts.

Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi

Proceedings of the 2007 Symposium on Dynamic Languages, 2007