I am a fifth-year PhD student studying programming languages. I am currently working on dynamically checked contracts and refinement types with Benjamin Pierce.

Publications

Publications appear in reverse chronological order. Citations are available in BibTeX. You can also find me on Google Scholar.

  1. Cătălin Hriţcu, Michael Greenberg, Ben Karel, Benjamin Pierce and Greg Morrisett All Your IFCException Are Belong To Us Oakland Security & Privacy (S&P) 2013 pdf Coq non-interference proofs bib
  2. Michael Greenberg and Yitzhak Mandelbaum Towards a core calculus for implicitly migration-capable applications Submitted to Workshop on Partial Evaluation and Program Manipulation (PEPM) 2012 pdf bib
  3. 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)
  4. 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)
  5. 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
  6. Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich Contracts Made Manifest Principles of Programming Languages (POPL) 2010; Journal of Functional Programming (JFP) 2012 pdf pdf (JFP version) pdf (presentation) Coq parallel-reduction proofs bib bib (JFP)
  7. Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, and Brent Yorgey Software Foundations Course book, available online www bib
  8. 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
  9. 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
  10. Michael Greenberg Declarative, composable views Undergraduate honors thesis, 2007. pdf odp (presentation) pdf (presentation) bib
  11. 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
  12. Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg Verifying Aspect Advice Modularly Foundations of Software Engineering (FSE) 2004 pdf bib