| 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 | 321 | 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, 2010 | 231* | 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 | 219 | 2016 |
| Verifying aspect advice modularly S Krishnamurthi, K Fisler, M Greenberg ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004 | 152 | 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 | 127 | 2011 |
| Contracts made manifest M Greenberg, BC Pierce, S Weirich Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 100 | 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 | 98 | 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 | 84 | 2013 |
| Concurrent NetCore: From policies to pipelines C Schlesinger, M Greenberg, D Walker Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 51 | 2014 |
| Programming language foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... Software Foundations series 2, 2020 | 36 | 2020 |
| Polymorphic contracts JF Belo, M Greenberg, A Igarashi, BC Pierce Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 36 | 2011 |
| Space-Efficient Manifest Contracts M Greenberg Symposium on the Principles of Programming Languages (POPL), 181--194, 2015 | 35 | 2015 |
| Temporal netkat R Beckett, M Greenberg, D Walker Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 29 | 2016 |
| Software Foundations. Electronic textbook. Version 4.0 BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... | 23 | 2016 |
| Formulog: Datalog for SMT-based static analysis. A Bembenek, M Greenberg, S Chong Proc. ACM Program. Lang. 4 (OOPSLA), 141:1-141:31, 2020 | 21 | 2020 |
| The soundness and completeness of Margrave with respect to a subset of XACML MM Greenberg, C Marks, LA Meyerovich, MC Tschantz Department of Computer Science, Brown University, 2005 | 19 | 2005 |
| Polymorphic manifest contracts, revised and resolved T Sekiyama, A Igarashi, M Greenberg ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (1), 1-36, 2017 | 18 | 2017 |
| Contracts made manifest M Greenberg, BC Pierce, S Weirich Journal of Functional Programming 22 (3), 225-274, 2012 | 17 | 2012 |
| Executable formal semantics for the POSIX shell M Greenberg, AJ Blatt Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019 | 16 | 2019 |
| The dynamic practice and static theory of gradual typing M Greenberg 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019 | 16 | 2019 |
