default search action
Arjun Guha
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j14]Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q. Feldman, Michael Greenberg, Abhinav Jangda, Arjun Guha:
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs. Proc. ACM Program. Lang. 8(OOPSLA2): 677-708 (2024) - [j13]Zichao Hu
, Francesca Lucchetti
Deploying and Evaluating LLMs to Program Service Mobile Robots. IEEE Robotics Autom. Lett. 9(3): 2853-2860 (2024) - [c44]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: 8452-8474 - [c43]Sydney Nguyen
How Beginning Programmers and Code LLMs (Mis)read Each Other. CHI 2024: 651:1-651:26 - [c42]Ye Xing
NL2Code-Reasoning and Planning with LLMs for Code Development. KDD 2024: 6745-6746 - [i37]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 abs/2401.15232 (2024) - [i36]Francesca Lucchetti, Arjun Guha:
Activation Steering for Robust Type Prediction in CodeLLMs. CoRR abs/2404.01903 (2024) - [i35]Zichao Hu, Junyi Jessy Li, Arjun Guha, Joydeep Biswas:
Robo-Instruct: Simulator-Augmented Instruction Alignment For Finetuning CodeLLMs. CoRR abs/2405.20179 (2024) - [i34]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 abs/2407.14561 (2024) - 2023
- [j12]Ming-Ho Yee, Arjun Guha:
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact). Dagstuhl Artifacts Ser. 9(2): 05:1-05:3 (2023) - [j11]Luna Phipps-Costin
Continuing WebAssembly with Effect Handlers. Proc. ACM Program. Lang. 7(OOPSLA2): 460-485 (2023) - [j10]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:
StarCoder: may the source be with you! Trans. Mach. Learn. Res. 2023 (2023) - [j9]Federico Cassano
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Trans. Software Eng. 49(7): 3675-3691 (2023) - [c41]Ming-Ho Yee, Arjun Guha
Do Machine Learning Models Produce TypeScript Types That Type Check? ECOOP 2023: 37:1-37:28 - [c40]Donald Pinckney, Federico Cassano, Arjun Guha
Flexible and Optimal Dependency Management via Max-SMT. ICSE 2023: 1418-1429 - [c39]Bambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell:
A Tool for Mutation Analysis in Racket. ICSTW 2023: 308-313 - [c38]Donald Pinckney, Federico Cassano, Arjun Guha
A Large Scale Analysis of Semantic Versioning in NPM. MSR 2023: 485-497 - [c37]Donald Pinckney
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. ESEC/SIGSOFT FSE 2023: 2132-2136 - [i33]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
SantaCoder: don't reach for the stars! CoRR abs/2301.03988 (2023) - [i32]Ming-Ho Yee, Arjun Guha:
Do Machine Learning Models Produce TypeScript Types that Type Check? CoRR abs/2302.12163 (2023) - [i31]Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell:
A Large Scale Analysis of Semantic Versioning in NPM. CoRR abs/2304.00394 (2023) - [i30]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
StarCoder: may the source be with you! CoRR abs/2305.06161 (2023) - [i29]Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha
Type Prediction With Program Decomposition and Fill-in-the-Type Training. CoRR abs/2305.17145 (2023) - [i28]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 abs/2306.04556 (2023) - [i27]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 abs/2308.08347 (2023) - [i26]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 abs/2308.09895 (2023) - [i25]Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell:
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. CoRR abs/2308.12545 (2023) - [i24]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 abs/2311.11183 (2023) - [i23]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 abs/2312.12450 (2023) - 2022
- [c36]James Perretta, Andrew DeOrio, Arjun Guha
On the use of mutation analysis for evaluating student test suite quality. ISSTA 2022: 263-275 - [e2]Wolfgang De Meuter, Arjun Guha:
Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2022, Auckland, New Zealand, 7 December 2022. ACM 2022, ISBN 978-1-4503-9908-1 [contents] - [i22]Donald Pinckney, Arjun Guha, Massimiliano Culpo, Todd Gamblin:
Using Solver-Aided Languages to Build Package Managers. CoRR abs/2203.13737 (2022) - [i21]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
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. CoRR abs/2208.08227 (2022) - 2021
- [j8]Luna Phipps-Costin, Carolyn Jane Anderson
Solver-based gradual type migration. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [c35]Abhinav Jangda, Sandeep Polisetty, Arjun Guha
Accelerating graph sampling for graph machine learning using GPUs. EuroSys 2021: 311-326 - [c34]Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas:
Iterative Program Synthesis for Adaptable Social Navigation. IROS 2021: 6256-6261 - [e1]Arjun Guha:
DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA, October 19, 2021. ACM 2021, ISBN 978-1-4503-9105-4 [contents] - [i20]Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas:
Iterative Program Synthesis for Adaptable Social Navigation. CoRR abs/2103.04880 (2021) - [i19]Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha:
Solver-based Gradual Type Migration. CoRR abs/2109.05049 (2021) - 2020
- [j7]Emily First
TacTok: semantics-aware proof synthesis. Proc. ACM Program. Lang. 4(OOPSLA): 231:1-231:31 (2020) - [c33]Abhinav Jangda, Arjun Guha:
Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs. PACT 2020: 317-328 - [c32]Joseph Spitzer, Joydeep Biswas
Making High-Performance Robots Safe and Easy to Use For an Introduction to Computing. AAAI 2020: 13412-13419 - [c31]Jarrett Holtz, Arjun Guha, Joydeep Biswas:
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis. CoRL 2020: 1471-1480 - [c30]Donald Pinckney, Arjun Guha, Yuriy Brun
Wasm/k: delimited continuations for WebAssembly. DLS 2020: 16-28 - [i18]Jarrett Holtz, Arjun Guha, Joydeep Biswas:
SMT-based Robot Transition Repair. CoRR abs/2001.04397 (2020) - [i17]Jarrett Holtz, Arjun Guha, Joydeep Biswas:
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis. CoRR abs/2008.04133 (2020) - [i16]Abhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini:
NextDoor: GPU-Based Graph Sampling for Graph Machine Learning. CoRR abs/2009.06693 (2020) - [i15]Donald Pinckney, Arjun Guha, Yuriy Brun:
Wasm/k: Delimited Continuations for WebAssembly. CoRR abs/2010.01723 (2020)
2010 – 2019
- 2019
- [j6]Abhinav Jangda, Donald Pinckney
Formal foundations of serverless computing. Proc. ACM Program. Lang. 3(OOPSLA): 149:1-149:26 (2019) - [j5]Jonathan Aldrich
Model-Based Adaptation for Robotics Software. IEEE Softw. 36(2): 83-90 (2019) - [j4]Abhinav Jangda, Bobby Powers, Emery D. Berger
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. login Usenix Mag. 44(3) (2019) - [c29]Abhinav Jangda, Bobby Powers, Emery D. Berger
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. USENIX ATC 2019: 107-120 - [i14]Abhinav Jangda, Bobby Powers, Arjun Guha, Emery D. Berger:
Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code. CoRR abs/1901.09056 (2019) - [i13]Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha:
Formal Foundations of Serverless Computing. CoRR abs/1902.05870 (2019) - [i12]Jenna Claire Hammond, Joydeep Biswas, Arjun Guha:
Automatic Failure Recovery for End-User Programs on Service Mobile Robots. CoRR abs/1909.02778 (2019) - [i11]Joseph Spitzer, Joydeep Biswas, Arjun Guha:
Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing. CoRR abs/1909.03110 (2019) - [i10]Abhinav Jangda, Arjun Guha:
Model-Based Warp-Level Tiling for Image Processing Programs on GPUs. CoRR abs/1909.07190 (2019) - [i9]Emily Herbert, Arjun Guha:
A Language-based Serverless Function Accelerator. CoRR abs/1911.02178 (2019) - 2018
- [c28]Jarrett Holtz, Arjun Guha, Joydeep Biswas:
Demo. AAMAS 2018: 1818-1819 - [c27]Jarrett Holtz, Arjun Guha, Joydeep Biswas
Interactive Robot Transition Repair With SMT. IJCAI 2018: 4905-4911 - [c26]Samuel Baxter, Rachit Nigam
Putting in all the stops: execution control for JavaScript. PLDI 2018: 30-45 - [i8]Jarrett Holtz, Arjun Guha, Joydeep Biswas:
Interactive Robot Transition Repair With SMT. CoRR abs/1802.01706 (2018) - [i7]Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha:
Putting in All the Stops: Execution Control for JavaScript. CoRR abs/1802.02974 (2018) - 2017
- [c25]Aaron Weiss, Arjun Guha, Yuriy Brun:
Tortoise: interactive system configuration repair. ASE 2017: 625-636 - [c24]Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh:
Fission: Secure Dynamic Code-Splitting for JavaScript. SNAPL 2017: 5:1-5:13 - [i6]Aaron Weiss, Arjun Guha, Yuriy Brun:
Tortoise: Interactive System Configuration Repair. CoRR abs/1709.05366 (2017) - 2016
- [c23]Rian Shambaugh, Aaron Weiss, Arjun Guha:
Rehearsal: a configuration verification tool for puppet. PLDI 2016: 416-430 - [c22]Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler
The Sweep: Essential Examples for In-Flow Peer Review. SIGCSE 2016: 243-248 - [c21]Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
Safe and Flexible Controller Upgrades for SDNs. SOSR 2016: 8 - 2015
- [c20]Steffen Smolka
A fast compiler for NetKAT. ICFP 2015: 328-341 - [i5]Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha:
A Fast Compiler for NetKAT. CoRR abs/1506.06378 (2015) - [i4]Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi:
ADsafety: Type-Based Verification of JavaScript Sandboxing. CoRR abs/1506.07813 (2015) - [i3]Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks:
Morpheus: Safe and Flexible Dynamic Updates for SDNs. CoRR abs/1509.03614 (2015) - [i2]Joseph M. Collard, Nimish Gupta, Rian Shambaugh, Aaron Weiss, Arjun Guha:
On Static Verification of Puppet System Configurations. CoRR abs/1509.05100 (2015) - [i1]Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
The Essence of JavaScript. CoRR abs/1510.00925 (2015) - 2014
- [j3]Martín Casado, Nate Foster, Arjun Guha:
Abstractions for software-defined networks. Commun. ACM 57(10): 86-95 (2014) - [j2]Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
Typed-based verification of Web sandboxes. J. Comput. Secur. 22(4): 511-565 (2014) - [c19]Carolyn Jane Anderson, Nate Foster, Arjun Guha
NetkAT: semantic foundations for networks. POPL 2014: 113-126 - 2013
- [j1]Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford
Languages for software-defined networks. IEEE Commun. Mag. 51(2): 128-134 (2013) - [c18]Benjamin S. Lerner
TeJaS: retrofitting type systems for JavaScript. DLS 2013: 1-16 - [c17]Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger:
Tutorial: Practical verification of network programs. FMCAD 2013: 9-10 - [c16]Arjun Guha
Machine-verified network controllers. PLDI 2013: 483-494 - [c15]Tim Nelson
A balance of power: expressive, analyzable controller programming. HotSDN 2013: 79-84 - [c14]Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster:
FatTire: declarative fault tolerance for software-defined networks. HotSDN 2013: 109-114 - [c13]Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
Participatory networking: an API for application control of SDNs. SIGCOMM 2013: 327-338 - [c12]Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler:
Teaching garbage collection without implementing compiler or interpreters. SIGCSE 2013: 385-390 - 2012
- [b1]Arjun Guha:
Semantics and Types for Safe Web Programming. Brown University, USA, 2012 - [c11]Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi:
Participatory Networking. Hot-ICE 2012 - [c10]Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
Hierarchical policies for software defined networks. HotSDN@SIGCOMM 2012: 37-42 - 2011
- [c9]Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
Typing Local Control and State Using Flow Analysis. ESOP 2011: 256-275 - [c8]Arjun Guha, Matthew Fredrikson
Verified Security for Browser Extensions. IEEE Symposium on Security and Privacy 2011: 115-130 - [c7]Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi:
ADsafety: Type-Based Verification of JavaScript Sandboxing. USENIX Security Symposium 2011 - 2010
- [c6]Arjun Guha
The Essence of JavaScript. ECOOP 2010: 126-150 - [c5]Arjun Guha, Shriram Krishnamurthi
Minding the (semantic) gap: engineering programming language theory. FoSER 2010: 155-156
2000 – 2009
- 2009
- [c4]Leo A. Meyerovich, Arjun Guha
Flapjax: a programming language for Ajax applications. OOPSLA 2009: 1-20 - [c3]Arjun Guha
Using static analysis for Ajax intrusion detection. WWW 2009: 561-570 - 2007
- [c2]Arjun Guha
Relationally-parametric polymorphic contracts. DLS 2007: 29-40 - [c1]Qikai Chen, Arjun Guha, Kaushik Roy:
An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter Function. VLSI Design 2007: 615-620
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: