Arjun Guha

Sitert av

	Alle	Siden 2020
Sitater	6488	3585
h-indeks	31	26
i10-indeks	46	42

1700

850

425

1275

2009201020112012201320142015201620172018201920202021202220232024202522 53 91 135 227 355 411 453 391 363 339 333 330 342 625 1696 256

Offentlig tilgang

Vis alle

27 artikler

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerifisert e-postadresse på cs.brown.edu
Nate FosterProfessor of Computer Science, Cornell UniversityVerifisert e-postadresse på cs.cornell.edu
Carolyn Jane AndersonWellesley CollegeVerifisert e-postadresse på wellesley.edu
Abhinav JangdaMicrosoft ResearchVerifisert e-postadresse på microsoft.com
Federico CassanoNortheastern UniversityVerifisert e-postadresse på northeastern.edu
Donald PinckneyNortheastern UniversityVerifisert e-postadresse på northeastern.edu
Joe Gibbs PolitzUniversity of California, San DiegoVerifisert e-postadresse på ucsd.edu
Mark ReitblattResearch Scientist, FacebookVerifisert e-postadresse på reitblatt.com
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceVerifisert e-postadresse på stevens.edu
Joydeep BiswasAssociate Professor, Computer Science Department, The University of Texas at AustinVerifisert e-postadresse på cs.utexas.edu
Molly Q FeldmanDepartment of Computer Science, Oberlin CollegeVerifisert e-postadresse på oberlin.edu
Cole SchlesingerResearch Engineer, Galois Inc.Verifisert e-postadresse på schlesinger.tech
Andrew FergusonGoogleVerifisert e-postadresse på google.com
Rodrigo FonsecaSenior Principal Research Manager, Microsoft ResearchVerifisert e-postadresse på microsoft.com
Yangtian ZiNortheastern UniversityVerifisert e-postadresse på northeastern.edu
David WalkerPrinceton UniversityVerifisert e-postadresse på cs.princeton.edu
John GouwarCS PhD. Student, Northeastern UniversityVerifisert e-postadresse på husky.neu.edu
Yuriy BrunManning College of Information and Computer Sciences, University of Massachusetts AmherstVerifisert e-postadresse på cs.umass.edu
Jean-Baptiste JeanninUniversity of MichiganVerifisert e-postadresse på umich.edu
Jarrett HoltzPhD Student, University of Texas at AustinVerifisert e-postadresse på cs.utexas.edu

Følg

Arjun Guha

Northeastern University

Verifisert e-postadresse på northeastern.edu - Startside

Programming Languages


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
StarCoder: may the source be with you! R Li, LB Allal, Y Zi, N Muennighoff, D Kocetkov, C Mou, M Marone, C Akiki, ... Transactions on Machine Learning Research (TMLR), 2023	1007*	2023
NetKAT: Semantic foundations for networks CJ Anderson, N Foster, A Guha, JB Jeannin, D Kozen, C Schlesinger, ... ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2014	584	2014
Participatory networking: An API for application control of SDNs AD Ferguson, A Guha, C Liang, R Fonseca, S Krishnamurthi ACM SIGCOMM Conference 43 (4), 327-338, 2013	396	2013
The essence of JavaScript A Guha, C Saftoiu, S Krishnamurthi ECOOP 2010–Object-Oriented Programming, 126-150, 2010	372	2010
Flapjax: A programming language for Ajax applications LA Meyerovich, A Guha, J Baskin, GH Cooper, M Greenberg, A Bromfield, ... ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages …, 2009	345	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	275	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	271	2013
SantaCoder: don't reach for the stars! LB Allal, R Li, D Kocetkov, C Mou, C Akiki, CM Ferrandis, N Muennighoff, ... arXiv preprint arXiv:2301.03988, 2023	245*	2023
MultiPL-E: a scalable and polyglot approach to benchmarking neural code generation F Cassano, J Gouwar, D Nguyen, S Nguyen, L Phipps-Costin, D Pinckney, ... IEEE Transactions on Software Engineering 49 (7), 3675-3691, 2023	225*	2023
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	220	2019
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	215	2009
Starcoder 2 and the stack v2: The next generation A Lozhkov, R Li, LB Allal, F Cassano, J Lamy-Poirier, N Tazi, A Tang, ... arXiv preprint arXiv:2402.19173, 2024	212	2024
Abstractions for software-defined networks M Casado, N Foster, A Guha Communications of the ACM 57 (10), 86-95, 2014	190	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	173	2011
Machine-verified network controllers A Guha, M Reitblatt, N Foster Programming Language Design and Implementation (PLDI), 2013	161	2013
Typed-based verification of web sandboxes J Gibbs Politz, A Guha, S Krishnamurthi USENIX Security Symposium 22, 511-565, 2011	140*	2011
Formal Foundations of Serverless Computing A Jangda, D Pinckney, Y Brun, A Guha Proceedings of the ACM on Programming Languages (PACMPL) 3 (OOPSLA), 2019	129	2019
Typing local control and state using flow analysis A Guha, C Saftoiu, S Krishnamurthi European Symposium on Programming (ESOP), 2011	112	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	107	2012
Rehearsal: a configuration verification tool for Puppet R Shambaugh, A Weiss, A Guha Programming Language Design and Implementation (PLDI), 2016	102	2016

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere