Follow
Michael Greenberg
Michael Greenberg
Stevens Institute of Technology - Department of Computer Science
Verified email at stevens.edu - Homepage
Title
Cited by
Cited by
Year
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
3342009
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
266*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
2372016
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1542004
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
1352011
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1062010
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
1042010
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
842013
Concurrent NetCore: From policies to pipelines
C Schlesinger, M Greenberg, D Walker
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
542014
Programming language foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Software Foundations series 2, 2018
472018
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, 2023
442023
Polymorphic contracts
JF Belo, M Greenberg, A Igarashi, BC Pierce
Programming Languages and Systems: 20th European Symposium on Programming …, 2011
382011
Space-Efficient Manifest Contracts
M Greenberg
Symposium on the Principles of Programming Languages (POPL), 181--194, 2015
372015
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
342020
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
302016
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
27*2022
Executable formal semantics for the POSIX shell
M Greenberg, AJ Blatt
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019
222019
The dynamic practice and static theory of gradual typing
M Greenberg
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
182019
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
182017
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
182005
The system can't perform the operation now. Try again later.
Articles 1–20