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
2982009
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
192*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
1842016
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1482004
Measure transformer semantics for Bayesian machine learning
J Borgström, AD Gordon, M Greenberg, J Margetson, J Van Gael
European Symposium on Programming, 77-96, 2011
1172011
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
942010
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
912010
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
832013
Concurrent NetCore: From policies to pipelines
C Schlesinger, M Greenberg, D Walker
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
442014
Polymorphic contracts
JF Belo, M Greenberg, A Igarashi, BC Pierce
European Symposium on Programming, 18-37, 2011
322011
Space-Efficient Manifest Contracts
M Greenberg
Symposium on the Principles of Programming Languages (POPL), 181--194, 2015
312015
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
242016
Software Foundations. Electronic textbook. Version 4.0
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
212016
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Journal of Functional Programming 22 (3), 225-274, 2012
172012
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
172005
Programming language foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Software Foundations series 2, 2020
152020
Manifest contracts
M Greenberg
152013
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
132017
Executable formal semantics for the POSIX shell
M Greenberg, AJ Blatt
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019
122019
Word expansion supports POSIX shell interactivity
M Greenberg
Conference Companion of the 2nd International Conference on Art, Science …, 2018
122018
The system can't perform the operation now. Try again later.
Articles 1–20