| 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 | 555 | 2014 |
| 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 | 406 | 2023 |
| 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 | 364 | 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 | 335 | 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 | 274 | 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 | 269 | 2013 |
| 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 | 211 | 2009 |
| Abstractions for software-defined networks M Casado, N Foster, A Guha Communications of the ACM 57 (10), 86-95, 2014 | 184 | 2014 |
| 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 | 178 | 2019 |
| Verified security for browser extensions A Guha, M Fredrikson, B Livshits, N Swamy Security and Privacy (SP), 2011 IEEE Symposium on, 115-130, 2011 | 165 | 2011 |
| Machine-verified network controllers A Guha, M Reitblatt, N Foster Programming Language Design and Implementation (PLDI), 2013 | 152 | 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 | 146 | 2023 |
| Typed-based verification of web sandboxes J Gibbs Politz, A Guha, S Krishnamurthi USENIX Security Symposium 22, 511-565, 2011 | 135* | 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 | 111 | 2019 |
| Typing local control and state using flow analysis A Guha, C Saftoiu, S Krishnamurthi European Symposium on Programming (ESOP), 2011 | 110 | 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 | 109 | 2012 |
| 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 | 108* | 2023 |
| Rehearsal: a configuration verification tool for Puppet R Shambaugh, A Weiss, A Guha Programming Language Design and Implementation (PLDI), 2016 | 91 | 2016 |
| A fast compiler for NetKAT S Smolka, S Eliopoulos, N Foster, A Guha Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 78 | 2015 |
Shriram KrishnamurthiProfessor of Computer Science, Brown University在 cs.brown.edu 的电子邮件经过验证
