Arjun Guha

Cited by

	All	Since 2018
Citations	4023	1824
h-index	25	21
i10-index	32	28

460

230

115

345

20092010201120122013201420152016201720182019202020212022202321 55 91 133 225 365 410 450 398 364 351 335 325 319 126

Public access

View all

18 articles

1 article

available

not available

Based on funding mandates

Co-authors

Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Joe Gibbs PolitzUniversity of California, San DiegoVerified email at eng.ucsd.edu
Mark ReitblattResearch Scientist, FacebookVerified email at reitblatt.com
Abhinav JangdaMicrosoft ResearchVerified email at microsoft.com
Andrew FergusonGoogleVerified email at google.com
Carolyn Jane AndersonWellesley CollegeVerified email at wellesley.edu
Rodrigo FonsecaPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Cole SchlesingerResearch Engineer, Galois Inc.Verified email at schlesinger.tech
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceVerified email at stevens.edu
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Donald PinckneyNortheastern UniversityVerified email at northeastern.edu
Joydeep BiswasAssistant Professor, Computer Science Department, The University of Texas at AustinVerified email at cs.utexas.edu
Spiridon EliopoulosInhabited Type LLCVerified email at inhabitedtype.com
Jean-Baptiste JeanninUniversity of MichiganVerified email at umich.edu
Yuriy BrunManning College of Information and Computer Sciences, University of Massachusetts AmherstVerified email at cs.umass.edu
Jarrett HoltzPhD Student, University of Texas at AustinVerified email at cs.utexas.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com

Arjun Guha

Associate Professor at Northeastern University; Visiting Professor at Roblox Research

Verified email at northeastern.edu - Homepage

Programming Languages Security Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
NetKAT: Semantic foundations for networks CJ Anderson, N Foster, A Guha, JB Jeannin, D Kozen, C Schlesinger, ... Acm sigplan notices 49 (1), 113-126, 2014	512	2014
Participatory networking: An API for application control of SDNs AD Ferguson, A Guha, C Liang, R Fonseca, S Krishnamurthi ACM SIGCOMM computer communication review 43 (4), 327-338, 2013	364	2013
The essence of JavaScript A Guha, C Saftoiu, S Krishnamurthi ECOOP 2010–Object-Oriented Programming, 126-150, 2010	337	2010
Flapjax: A programming language for Ajax applications LA Meyerovich, A Guha, J Baskin, GH Cooper, M Greenberg, A Bromfield, ... ACM SIGPLAN Notices 44 (10), 1-20, 2009	320	2009
Fattire: Declarative fault tolerance for software-defined networks M Reitblatt, M Canini, A Guha, N Foster Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013	266	2013
Languages for software-defined networks N Foster, A Guha, M Reitblatt, A Story, MJ Freedman, NP Katta, ... IEEE Communications Magazine 51 (2), 128-134, 2013	262	2013
Using static analysis for Ajax intrusion detection A Guha, S Krishnamurthi, T Jim Proceedings of the 18th international conference on World wide web, 561-570, 2009	205	2009
Abstractions for software-defined networks M Casado, N Foster, A Guha Communications of the ACM 57 (10), 86-95, 2014	176	2014
Verified security for browser extensions A Guha, M Fredrikson, B Livshits, N Swamy Security and Privacy (SP), 2011 IEEE Symposium on, 115-130, 2011	161	2011
Machine-verified network controllers A Guha, M Reitblatt, N Foster Programming Language Design and Implementation (PLDI), 2013	144	2013
Typed-based verification of web sandboxes J Gibbs Politz, A Guha, S Krishnamurthi USENIX Security Symposium 22, 511-565, 2011	135*	2011
Not so fast: Analyzing the Performance of WebAssembly vs. native code A Jangda, B Powers, ED Berger, A Guha USENIX Annual Technical Conference (ATC), 107-120, 2019	132	2019
Typing local control and state using flow analysis A Guha, C Saftoiu, S Krishnamurthi European Symposium on Programming (ESOP), 2011	111	2011
Hierarchical policies for software defined networks AD Ferguson, A Guha, C Liang, R Fonseca, S Krishnamurthi Proceedings of the first workshop on Hot topics in software defined networks …, 2012	108	2012
Formal Foundations of Serverless Computing A Jangda, D Pinckney, Y Brun, A Guha Proceedings of the ACM on Programming Languages (PACMPL) 3 (OOPSLA), 2019	83	2019
Rehearsal: a configuration verification tool for Puppet R Shambaugh, A Weiss, A Guha Programming Language Design and Implementation (PLDI), 2016	78	2016
A fast compiler for NetKAT S Smolka, S Eliopoulos, N Foster, A Guha Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	73	2015
TeJaS: retrofitting type systems for JavaScript BS Lerner, JG Politz, A Guha, S Krishnamurthi ACM SIGPLAN Notices 49 (2), 1-16, 2013	71	2013
Relationally-parametric polymorphic contracts A Guha, J Matthews, RB Findler, S Krishnamurthi Proceedings of the 2007 symposium on Dynamic languages, 29-40, 2007	61	2007
A balance of power: Expressive, analyzable controller programming T Nelson, A Guha, DJ Dougherty, K Fisler, S Krishnamurthi Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013	54	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors