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
3152009
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
215*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
2112016
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, JV Gael
European symposium on programming, 77-96, 2011
1252011
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
982010
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
952010
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
512014
Polymorphic contracts
JF Belo, M Greenberg, A Igarashi, BC Pierce
European Symposium on Programming, 18-37, 2011
362011
Space-Efficient Manifest Contracts
M Greenberg
Symposium on the Principles of Programming Languages (POPL), 181--194, 2015
332015
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
292016
Software Foundations. Electronic textbook. Version 4.0
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
222016
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
192005
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
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Journal of Functional Programming 22 (3), 225-274, 2012
182012
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
172020
Programming language foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Software Foundations series 2, 2020
172020
Manifest contracts
M Greenberg
152013
Executable formal semantics for the POSIX shell
M Greenberg, AJ Blatt
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019
142019
The system can't perform the operation now. Try again later.
Articles 1–20