Michael Greenberg
Michael Greenberg
Pomona College - Computer Science
Verified email at pomona.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
2702009
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
175*2010
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1432004
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
1422016
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
1052011
Contracts made manifest
M Greenberg, BC Pierce, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
882010
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
872010
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
762013
Concurrent NetCore: From policies to pipelines
C Schlesinger, M Greenberg, D Walker
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
432014
Polymorphic contracts
JF Belo, M Greenberg, A Igarashi, BC Pierce
European Symposium on Programming, 18-37, 2011
302011
Space-Efficient Manifest Contracts
M Greenberg
Symposium on the Principles of Programming Languages (POPL), 181--194, 2015
282015
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
212016
Software Foundations. Electronic textbook
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
202016
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
Manifest contracts
M Greenberg
132013
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
122017
A generic programming toolkit for PADS/ML: First-class upgrades for third-party developers
M Fernández, K Fisher, JN Foster, M Greenberg, Y Mandelbaum
International Symposium on Practical Aspects of Declarative Languages, 133-149, 2008
112008
Understanding the POSIX shell as a programming language
M Greenberg
Off the Beaten Track, 2017
92017
Word expansion supports POSIX shell interactivity
M Greenberg
Conference Companion of the 2nd International Conference on Art, Science …, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20