متابعة
Arjun Guha
Arjun Guha
Northeastern University
بريد إلكتروني تم التحقق منه على northeastern.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
991*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‏
5842014
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‏
3962013
The essence of JavaScript‏
A Guha, C Saftoiu, S Krishnamurthi‏
ECOOP 2010–Object-Oriented Programming, 126-150, 2010‏
3722010
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‏
3442009
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
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‏
2712013
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‏
242*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‏
222*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‏
2182019
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‏
2152009
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‏
2072024
Abstractions for software-defined networks‏
M Casado, N Foster, A Guha‏
Communications of the ACM 57 (10), 86-95, 2014‏
1892014
Verified security for browser extensions‏
A Guha, M Fredrikson, B Livshits, N Swamy‏
Security and Privacy (SP), 2011 IEEE Symposium on, 115-130, 2011‏
1732011
Machine-verified network controllers‏
A Guha, M Reitblatt, N Foster‏
Programming Language Design and Implementation (PLDI), 2013‏
1612013
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‏
1272019
Typing local control and state using flow analysis‏
A Guha, C Saftoiu, S Krishnamurthi‏
European Symposium on Programming (ESOP), 2011‏
1122011
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‏
1072012
Rehearsal: a configuration verification tool for Puppet‏
R Shambaugh, A Weiss, A Guha‏
Programming Language Design and Implementation (PLDI), 2016‏
1022016
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20