Arjun Guha

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2020
Позовавания	6496	3593
h-индекс	31	26
i10-индекс	46	42

1700

850

425

1275

2009201020112012201320142015201620172018201920202021202220232024202522 53 91 135 227 355 411 453 391 363 339 333 330 342 625 1697 263

Публичен достъп

Преглед на всички

27 статии

0 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityПотвърден имейл адрес: cs.brown.edu
Nate FosterProfessor of Computer Science, Cornell UniversityПотвърден имейл адрес: cs.cornell.edu
Carolyn Jane AndersonWellesley CollegeПотвърден имейл адрес: wellesley.edu
Abhinav JangdaMicrosoft ResearchПотвърден имейл адрес: microsoft.com
Federico CassanoNortheastern UniversityПотвърден имейл адрес: northeastern.edu
Donald PinckneyNortheastern UniversityПотвърден имейл адрес: northeastern.edu
Joe Gibbs PolitzUniversity of California, San DiegoПотвърден имейл адрес: ucsd.edu
Mark ReitblattResearch Scientist, FacebookПотвърден имейл адрес: reitblatt.com
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceПотвърден имейл адрес: stevens.edu
Joydeep BiswasAssociate Professor, Computer Science Department, The University of Texas at AustinПотвърден имейл адрес: cs.utexas.edu
Molly Q FeldmanDepartment of Computer Science, Oberlin CollegeПотвърден имейл адрес: oberlin.edu
Cole SchlesingerResearch Engineer, Galois Inc.Потвърден имейл адрес: schlesinger.tech
Andrew FergusonGoogleПотвърден имейл адрес: google.com
Rodrigo FonsecaSenior Principal Research Manager, Microsoft ResearchПотвърден имейл адрес: microsoft.com
Yangtian ZiNortheastern UniversityПотвърден имейл адрес: northeastern.edu
David WalkerPrinceton UniversityПотвърден имейл адрес: cs.princeton.edu
John GouwarCS PhD. Student, Northeastern UniversityПотвърден имейл адрес: husky.neu.edu
Yuriy BrunManning College of Information and Computer Sciences, University of Massachusetts AmherstПотвърден имейл адрес: cs.umass.edu
Jean-Baptiste JeanninUniversity of MichiganПотвърден имейл адрес: umich.edu
Jarrett HoltzPhD Student, University of Texas at AustinПотвърден имейл адрес: cs.utexas.edu

Следене

Arjun Guha

Northeastern University

Потвърден имейл адрес: northeastern.edu - Начална страница

Programming Languages


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
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	1009*	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	246*	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	227*	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	213	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

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори