I am a second-year PhD student studying programming languages. I am currently working on contracts with Benjamin Pierce; we've been using Boomerang as an experimental platform.

Publications appear in reverse chronological order.

  1. 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 Tenth International Symposium on Practical Aspects of Declarative Languages (PADL), 2008 pdf odp (presentation)
  2. Michael Greenberg and Shriram Krishnamurthi Declarative, composable views Undergraduate honors thesis. May 2007. pdf odp (presentation) pdf (presentation)
  3. 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
  4. Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg Verifying Aspect Advice Modularly ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2004 pdf
mgree@seas.upenn.edu +1 617 331-1965 Levine/GRW 571
Me, sitting in a doorway in Zfat, Israel.