Seguir
Arjun Guha
Arjun Guha
Northeastern University
Dirección de correo verificada de northeastern.edu - Página principal
Título
Citado por
Citado por
Año
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
5482014
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
3952013
The essence of JavaScript
A Guha, C Saftoiu, S Krishnamurthi
ECOOP 2010–Object-Oriented Programming, 126-150, 2010
3602010
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
3382009
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
2872023
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
2752013
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
2742013
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
2112009
Abstractions for software-defined networks
M Casado, N Foster, A Guha
Communications of the ACM 57 (10), 86-95, 2014
1832014
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
1702019
Verified security for browser extensions
A Guha, M Fredrikson, B Livshits, N Swamy
Security and Privacy (SP), 2011 IEEE Symposium on, 115-130, 2011
1652011
Machine-verified network controllers
A Guha, M Reitblatt, N Foster
Programming Language Design and Implementation (PLDI), 2013
1542013
Typed-based verification of web sandboxes
J Gibbs Politz, A Guha, S Krishnamurthi
USENIX Security Symposium 22, 511-565, 2011
137*2011
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
1152023
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
1102012
Typing local control and state using flow analysis
A Guha, C Saftoiu, S Krishnamurthi
European Symposium on Programming (ESOP), 2011
1102011
Formal Foundations of Serverless Computing
A Jangda, D Pinckney, Y Brun, A Guha
Proceedings of the ACM on Programming Languages (PACMPL) 3 (OOPSLA), 2019
1072019
Rehearsal: a configuration verification tool for Puppet
R Shambaugh, A Weiss, A Guha
Programming Language Design and Implementation (PLDI), 2016
902016
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, 2023
85*2023
A fast compiler for NetKAT
S Smolka, S Eliopoulos, N Foster, A Guha
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
802015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20