researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

arjunguha

Statistics

Publications: 0
Edited: 0

Aliases

Guha, Arjun
Arjun Guha
Guha
Guha, A.
A. Guha

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Arjun Guha's Profile

Publications

Unidentified Publications

Publications with a 'Arjun Guha' as author, editor, or advisor:

The Sweep: Essential Examples for In-Flow Peer ReviewJoe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi. sigcse 2016: 243-248 [doi]
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact)Ming-Ho Yee, Arjun Guha. darts, 9(2), 2023. [doi]
The Essence of JavaScriptArjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi. ECOOP 2010: 126-150 [doi]
ADsafety: Type-Based Verification of JavaScript SandboxingJoe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi. uss 2011: [doi]
Making High-Performance Robots Safe and Easy to Use For an Introduction to ComputingJoseph Spitzer, Joydeep Biswas, Arjun Guha. AAAI 2020: 13412-13419 [doi]
Typing Local Control and State Using Flow AnalysisArjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi. ESOP 2011: 256-275 [doi]
TacTok: semantics-aware proof synthesisEmily First, Yuriy Brun, Arjun Guha. PACMPL, 4(OOPSLA), 2020. [doi]
FatTire: declarative fault tolerance for software-defined networksMark Reitblatt, Marco Canini, Arjun Guha, Nate Foster. sigcomm 2013: 109-114 [doi]
A fast compiler for NetKATSteffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha. ICFP 2015: 328-341 [doi]
Robot Action Selection Learning via Layered Dimension Informed Program SynthesisJarrett Holtz, Arjun Guha, Joydeep Biswas. corl 2020: 1471-1480 [doi]
Tortoise: interactive system configuration repairAaron Weiss, Arjun Guha, Yuriy Brun. ASE 2017: 625-636 [doi]
Flapjax: a programming language for Ajax applicationsLeo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi. OOPSLA 2009: 1-20 [doi]
DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA, October 19, 2021Arjun Guha, editor, ACM, 2021. [doi]
npm-follower: A Complete Dataset Tracking the NPM EcosystemDonald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001. FSE 2023: 2132-2136 [doi]
Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2022, Auckland, New Zealand, 7 December 2022Wolfgang De Meuter, Arjun Guha, editors, ACM, 2022. [doi]
Semantics and Types for Safe Web ProgrammingArjun Guha. PhD thesis, Brown University, USA, 2012. [doi]
Interactive Robot Transition Repair With SMTJarrett Holtz, Arjun Guha, Joydeep Biswas. IJCAI 2018: 4905-4911 [doi]
A balance of power: expressive, analyzable controller programmingTimothy Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. sigcomm 2013: 79-84 [doi]
NetkAT: semantic foundations for networksCarolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker. POPL 2014: 113-126 [doi]
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code GenerationFederico 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 0002, Abhinav Jangda. TSE, 49(7):3675-3691, July 2023. [doi]
A Tool for Mutation Analysis in RacketBambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell 0001. icst 2023: 308-313 [doi]
Continuing WebAssembly with Effect HandlersLuna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley. PACMPL, 7(OOPSLA2):460-485, October 2023. [doi]
Abstractions for software-defined networksMartin Casado, Nate Foster, Arjun Guha. CACM, 57(10):86-95, 2014. [doi]
Verified Security for Browser ExtensionsArjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy. sp 2011: 115-130 [doi]
Model-Based Adaptation for Robotics SoftwareJonathan 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 Software, 36(2):83-90, 2019. [doi]
Solver-based gradual type migrationLuna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg 0002, Arjun Guha. PACMPL, 5(OOPSLA):1-27, 2021. [doi]
An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter FunctionQikai Chen, Arjun Guha, Kaushik Roy. vlsid 2007: 615-620 [doi]
Not So Fast: Analyzing the Performance of WebAssembly vs. Native CodeAbhinav Jangda, Bobby Powers, Emery Berger, Arjun Guha. usenix-login, 44(3), 2019. [doi]
Not So Fast: Analyzing the Performance of WebAssembly vs. Native CodeAbhinav Jangda, Bobby Powers, Emery D. Berger, Arjun Guha. usenix 2019: 107-120 [doi]
On the use of mutation analysis for evaluating student test suite qualityJames Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell 0001. ISSTA 2022: 263-275 [doi]
Languages for software-defined networksNate 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. cm, 51(2):128-134, 2013. [doi]
Fission: Secure Dynamic Code-Splitting for JavaScriptArjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh. SNAPL 2017: [doi]
Minding the (semantic) gap: engineering programming language theoryArjun Guha, Shriram Krishnamurthi. FSE 2010: 155-156 [doi]
Teaching garbage collection without implementing compiler or interpretersGregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robby Findler. sigcse 2013: 385-390 [doi]
Typed-based verification of Web sandboxesJoe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi. jcs, 22(4):511-565, 2014. [doi]
Wasm/k: delimited continuations for WebAssemblyDonald Pinckney, Arjun Guha, Yuriy Brun. DLS 2020: 16-28 [doi]
Accelerating graph sampling for graph machine learning using GPUsAbhinav Jangda, Sandeep Polisetty, Arjun Guha, Marco Serafini. eurosys 2021: 311-326 [doi]
Tutorial: Practical verification of network programsNate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger. FMCAD 2013: 9-10 [doi]
Relationally-parametric polymorphic contractsArjun Guha, Jacob Matthews, Robby Findler, Shriram Krishnamurthi. DLS 2007: 29-40 [doi]
DemoJarrett Holtz, Arjun Guha, Joydeep Biswas. atal 2018: 1818-1819 [doi]
Using static analysis for Ajax intrusion detectionArjun Guha, Shriram Krishnamurthi, Trevor Jim. WWW 2009: 561-570 [doi]
Safe and Flexible Controller Upgrades for SDNsKarla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks. sosr 2016: 8 [doi]
Participatory NetworkingAndrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi. NSDI 2012: [doi]
Iterative Program Synthesis for Adaptable Social NavigationJarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas. iros 2021: 6256-6261 [doi]
Hierarchical policies for software defined networksAndrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi. sigcomm 2012: 37-42 [doi]
Flexible and Optimal Dependency Management via Max-SMTDonald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001, Massimiliano Culpo, Todd Gamblin. ICSE 2023: 1418-1429 [doi]
TeJaS: retrofitting type systems for JavaScriptBenjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi. DLS 2013: 1-16 [doi]
Machine-verified network controllersArjun Guha, Mark Reitblatt, Nate Foster. PLDI 2013: 483-494 [doi]
Deploying and Evaluating LLMs to Program Service Mobile RobotsZichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, Joydeep Biswas. ral, 9(3):2853-2860, 2024. [doi]
A Large Scale Analysis of Semantic Versioning in NPMDonald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001. msr 2023: 485-497 [doi]
Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUsAbhinav Jangda, Arjun Guha. IEEEpact 2020: 317-328 [doi]
Putting in all the stops: execution control for JavaScriptSamuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha. PLDI 2018: 30-45 [doi]
Rehearsal: a configuration verification tool for puppetRian Shambaugh, Aaron Weiss, Arjun Guha. PLDI 2016: 416-430 [doi]
Formal foundations of serverless computingAbhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. PACMPL, 3(OOPSLA), 2019. [doi]
Do Machine Learning Models Produce TypeScript Types That Type Check?Ming-Ho Yee, Arjun Guha. ECOOP 2023: [doi]
Participatory networking: an API for application control of SDNsAndrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi. sigcomm 2013: 327-338 [doi]
Use of the scanning multichannel microwave radiometer (SMMR) to retrieve soil moisture and surface temperature over the central United StatesA. Guha, V. Lakshmi. tgrs, 42(7):1482-1494, 2004. [doi]
Power allocation schemes for cognitive radiosA. Guha, Viswanath Ganapathy. comsware 2008: 51-56 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL