I am a fifth-year PhD student studying programming languages. I am currently working on security policies and dynamic information flow with Benjamin Pierce; we've been using Boomerang as an experimental platform.

Publications appear in reverse chronological order. Citations are available in BibTeX.

  1. Michael Greenberg and Yitzhak Mandelbaum Towards a core calculus for implicitly migration-capable applications In submission to Workshop on Partial Evaluation and Program Manipulation (PEPM) 2012 pdf bib
  2. João Filipe Belo, Michael Greenberg, Atsushi Igarashi, and Benjamin C. Pierce Polymorphic Contracts European Symposium on Programming (ESOP) 2011 pdf (corrected) pdf (original ESOP version) bib pdf (presentation)
  3. Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen Van Gael Measure Transformer Semantics for Bayesian Machine Learning European Symposium on Programming (ESOP) 2011 pdf pdf (MSR TR) bib release (courtesy of MSR)
  4. Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, and Benjamin C. Pierce Matching Lenses: Alignment and View Update International Conference on Functional Programming (ICFP) 2010 pdf bib
  5. Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich Contracts Made Manifest Principles of Programming Languages (POPL) 2010 pdf pdf (long JFP submission; revised 2012-02-29) pdf (presentation) Coq parallel-reduction proofs bib
  6. Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, and Brent Yorgey Software Foundations Course book, available online www bib
  7. Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi Flapjax: A Programming Language for Ajax Applications Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2009 pdf bib
  8. Mary Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, and Yitzhak Mandelbaum A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers Practical Aspects of Declarative Languages (PADL) 2008 pdf odp (presentation) bib
  9. Michael Greenberg Declarative, composable views Undergraduate honors thesis, 2007. pdf odp (presentation) pdf (presentation) bib
  10. Michael Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz The Soundness and Completeness of Margrave with Respect to a Subset of XACML Tech Report CS-05-05, Department of Computer Science, Brown University, 2005. pdf bib
  11. Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg Verifying Aspect Advice Modularly Foundations of Software Engineering (FSE) 2004 pdf bib