Arjun Guha
Arjun Guha
Associate Professor of Computer Science - Northeastern University
Verifierad e-postadress på northeastern.edu - Startsida
Titel
Citeras av
Citeras av
År
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
4032014
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
3372013
The essence of JavaScript
A Guha, C Saftoiu, S Krishnamurthi
ECOOP 2010–Object-Oriented Programming, 126-150, 2010
2932010
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
2852009
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
2482013
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
2402013
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
2002009
Verified security for browser extensions
A Guha, M Fredrikson, B Livshits, N Swamy
Security and Privacy (SP), 2011 IEEE Symposium on, 115-130, 2011
1462011
Abstractions for software-defined networks
M Casado, N Foster, A Guha
Communications of the ACM 57 (10), 86-95, 2014
1412014
Typed-based verification of web sandboxes
J Gibbs Politz, A Guha, S Krishnamurthi
USENIX Security Symposium 22, 511-565, 2011
131*2011
Machine-verified network controllers
A Guha, M Reitblatt, N Foster
Programming Language Design and Implementation (PLDI), 2013
1272013
Typing local control and state using flow analysis
A Guha, C Saftoiu, S Krishnamurthi
European Symposium on Programming (ESOP), 2011
1042011
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
972012
TeJaS: retrofitting type systems for JavaScript
BS Lerner, JG Politz, A Guha, S Krishnamurthi
ACM SIGPLAN Notices 49 (2), 1-16, 2013
632013
A fast compiler for NetKAT
S Smolka, S Eliopoulos, N Foster, A Guha
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
622015
Rehearsal: a configuration verification tool for Puppet
R Shambaugh, A Weiss, A Guha
Programming Language Design and Implementation (PLDI), 2016
592016
Relationally-parametric polymorphic contracts
A Guha, J Matthews, RB Findler, S Krishnamurthi
Proceedings of the 2007 symposium on Dynamic languages, 29-40, 2007
552007
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
54*2019
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
492013
Formal Foundations of Serverless Computing
A Jangda, D Pinckney, Y Brun, A Guha
Proceedings of the ACM on Programming Languages (PACMPL) 3 (OOPSLA), 2019
332019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20