| Flapjax: a programming language for Ajax applications LA Meyerovich, A Guha, J Baskin, GH Cooper, M Greenberg, A Bromfield, ... Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009 | 341 | 2009 |
| Software foundations BC Pierce, C Casinghino, M Gaboardi, M Greenberg, C Hriţcu, V Sjöberg, ... Webpage: http://www. cis. upenn. edu/bcpierce/sf/current/index. html, 16, 2010 | 284* | 2010 |
| SNAP: Stateful network-wide abstractions for packet processing MT Arashloo, Y Koral, M Greenberg, J Rexford, D Walker Proceedings of the 2016 ACM SIGCOMM Conference, 29-43, 2016 | 252 | 2016 |
| Verifying aspect advice modularly S Krishnamurthi, K Fisler, M Greenberg ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004 | 154 | 2004 |
| Measure transformer semantics for Bayesian machine learning J Borgström, AD Gordon, M Greenberg, J Margetson, J Van Gael Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 139 | 2011 |
| 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 | 127 | 2023 |
| Contracts made manifest M Greenberg, BC Pierce, S Weirich Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 106 | 2010 |
| Matching lenses: alignment and view update DMJ Barbosa, J Cretin, N Foster, M Greenberg, BC Pierce Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 104 | 2010 |
| All your IFCException are belong to us C Hritcu, M Greenberg, B Karel, BC Pierce, G Morrisett 2013 IEEE Symposium on Security and Privacy, 3-17, 2013 | 85 | 2013 |
| Multipl-e: A scalable and extensible approach to benchmarking neural code generation F Cassano, J Gouwar, D Nguyen, S Nguyen, L Phipps-Costin, D Pinckney, ... arXiv preprint arXiv:2208.08227, 2022 | 68* | 2022 |
| Concurrent NetCore: From policies to pipelines C Schlesinger, M Greenberg, D Walker Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 56 | 2014 |
| Programming language foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... Software Foundations series 2, 2018 | 54 | 2018 |
| Formulog: Datalog for SMT-based static analysis A Bembenek, M Greenberg, S Chong Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 40 | 2020 |
| Space-Efficient Manifest Contracts M Greenberg Symposium on the Principles of Programming Languages (POPL), 181--194, 2015 | 39 | 2015 |
| Polymorphic contracts JF Belo, M Greenberg, A Igarashi, BC Pierce Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 38 | 2011 |
| Temporal netkat R Beckett, M Greenberg, D Walker Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 31 | 2016 |
| Executable formal semantics for the POSIX shell M Greenberg, AJ Blatt Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019 | 25 | 2019 |
| Solver-based gradual type migration L Phipps-Costin, CJ Anderson, M Greenberg, A Guha Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 23 | 2021 |
| The dynamic practice and static theory of gradual typing M Greenberg 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019 | 23 | 2019 |
| Unix shell programming: the next 50 years M Greenberg, K Kallas, N Vasilakis Proceedings of the Workshop on Hot Topics in Operating Systems, 104-111, 2021 | 21 | 2021 |
