Arjun Guha

Orcid: 0000-0002-7493-3271

According to our database1, Arjun Guha authored at least 79 papers between 2007 and 2024.

Collaborative distances:

Timeline

2008
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
15
8
8
2
1
3
8
2
2
1
3
5
1
2
4
3
2
3
1
1
7
2
3
2
2
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deploying and Evaluating LLMs to Program Service Mobile Robots.
IEEE Robotics Autom. Lett., 2024

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs.
Proc. ACM Program. Lang., 2024

SelfCodeAlign: Self-Alignment for Code Generation.
CoRR, 2024

Substance Beats Style: Why Beginning Students Fail to Code with LLMs.
CoRR, 2024

Creating and Repairing Robot Programs in Open-World Domains.
CoRR, 2024

NNsight and NDIF: Democratizing Access to Foundation Model Internals.
CoRR, 2024

Robo-Instruct: Simulator-Augmented Instruction Alignment For Finetuning CodeLLMs.
CoRR, 2024

Activation Steering for Robust Type Prediction in CodeLLMs.
CoRR, 2024

NL2Code-Reasoning and Planning with LLMs for Code Development.
Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

How Beginning Programmers and Code LLMs (Mis)read Each Other.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code.
Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023
Continuing WebAssembly with Effect Handlers.
Proc. ACM Program. Lang., October, 2023

MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation.
IEEE Trans. Software Eng., July, 2023

StarCoder: may the source be with you!
Trans. Mach. Learn. Res., 2023

Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact).
Dagstuhl Artifacts Ser., 2023

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

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

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

SantaCoder: don't reach for the stars!
CoRR, 2023

npm-follower: A Complete Dataset Tracking the NPM Ecosystem.
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.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

A Tool for Mutation Analysis in Racket.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Flexible and Optimal Dependency Management via Max-SMT.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Do Machine Learning Models Produce TypeScript Types That Type Check?
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

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

Using Solver-Aided Languages to Build Package Managers.
CoRR, 2022

On the use of mutation analysis for evaluating student test suite quality.
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.
Proc. ACM Program. Lang., 2021

Iterative Program Synthesis for Adaptable Social Navigation.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Accelerating graph sampling for graph machine learning using GPUs.
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020
TacTok: semantics-aware proof synthesis.
Proc. ACM Program. Lang., 2020

NextDoor: GPU-Based Graph Sampling for Graph Machine Learning.
CoRR, 2020

SMT-based Robot Transition Repair.
CoRR, 2020

Wasm/k: delimited continuations for WebAssembly.
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.
Proceedings of the 4th Conference on Robot Learning, 2020

Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs.
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.
login Usenix Mag., 2019

Model-Based Adaptation for Robotics Software.
IEEE Softw., 2019

Formal foundations of serverless computing.
Proc. ACM Program. Lang., 2019

A Language-based Serverless Function Accelerator.
CoRR, 2019

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

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

Formal Foundations of Serverless Computing.
CoRR, 2019

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

2018
Putting in all the stops: execution control for JavaScript.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Interactive Robot Transition Repair With SMT.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

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

2017
Fission: Secure Dynamic Code-Splitting for JavaScript.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Tortoise: interactive system configuration repair.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Safe and Flexible Controller Upgrades for SDNs.
Proceedings of the Symposium on SDN Research, 2016

The Sweep: Essential Examples for In-Flow Peer Review.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Rehearsal: a configuration verification tool for puppet.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015
Morpheus: Safe and Flexible Dynamic Updates for SDNs.
CoRR, 2015

On Static Verification of Puppet System Configurations.
CoRR, 2015

A fast compiler for NetKAT.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Typed-based verification of Web sandboxes.
J. Comput. Secur., 2014

Abstractions for software-defined networks.
Commun. ACM, 2014

NetkAT: semantic foundations for networks.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Languages for software-defined networks.
IEEE Commun. Mag., 2013

Teaching garbage collection without implementing compiler or interpreters.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

FatTire: declarative fault tolerance for software-defined networks.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

A balance of power: expressive, analyzable controller programming.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Participatory networking: an API for application control of SDNs.
Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Machine-verified network controllers.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Tutorial: Practical verification of network programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

TeJaS: retrofitting type systems for JavaScript.
Proceedings of the DLS'13, 2013

2012
Semantics and Types for Safe Web Programming.
PhD thesis, 2012

Hierarchical policies for software defined networks.
Proceedings of the first workshop on Hot topics in software defined networks, 2012

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

2011
ADsafety: Type-Based Verification of JavaScript Sandboxing.
Proceedings of the 20th USENIX Security Symposium, 2011

Verified Security for Browser Extensions.
Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Typing Local Control and State Using Flow Analysis.
Proceedings of the Programming Languages and Systems, 2011

2010
Minding the (semantic) gap: engineering programming language theory.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

The Essence of JavaScript.
Proceedings of the ECOOP 2010, 2010

2009
Using static analysis for Ajax intrusion detection.
Proceedings of the 18th International Conference on World Wide Web, 2009

Flapjax: a programming language for Ajax applications.
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.
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Relationally-parametric polymorphic contracts.
Proceedings of the 2007 Symposium on Dynamic Languages, 2007


  Loading...