@misc{Greenberg12migration,
  author = {Michael Greenberg and Yitzhak Mandelbaum},
  title = {Towards a core calculus for implicitly migration-capable applications},
  year = {2012},
  note = {In submission to {PEPM}'12}
}

@inproceedings{Belo11fh,
  author = {Jo\~ao Filipe Belo and Michael Greenberg and Atsushi Igarashi and Benjamin C. Pierce},
  title = {Polymorphic Contracts},
  year = {2011},
  booktitle = {ESOP}
}

@inproceedings{Borgstrom11bayesian,
  author = {Johannes Borgstr\"om and Andrew D. Gordon and Michael Greenberg and James Margetson and Jurgen Van Gael},
  title = {Measure Transformer Semantics for Bayesian Machine Learning},
  year = {2011},
  booktitle = {ESOP}
}

@inproceedings{Barbosa10matching,
  author = {Davi M. J. Barbosa and Julien Cretin and Nate Foster and Michael Greenberg and Benjamin C. Pierce},
  title = {Matching Lenses: Alignment and View Update},
  year = {2010},
  booktitle = {ICFP}
}

@techreport{Barbosa10matchingtr,
  author = {Davi M. J. Barbosa and Julien Cretin and Nate Foster and Michael Greenberg and Benjamin C. Pierce},
  title = {Matching Lenses: Alignment and View Update},
  year = {2010},
  month = {1},
  institution = {University of Pennsylvania},
  number = {MS-CIS-10-01},
  url = {http://repository.upenn.edu/cis_reports/915/}
}

@inproceedings{Greenberg10contracts,
  author = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich},
  title = {Contracts Made Manifest},
  year = {2010},
  booktitle = {POPL}
}

@book{Pierce09sf,
  author = {Benjamin C. Pierce and Chris Casinghino and Michael Greenberg and Vilhelm Sj\"oberg and Brent Yorgey},
  title = {Software Foundations},
  year = {2009},
  url = {http://www.cis.upenn.edu/~bcpierce/sf/}
}

@inproceedings{Meyerovich09flapjax,
  author = {Leo Meyerovich and Arjun Guha and Jacob Baskin and Gregory H. Cooper and Michael Greenberg and Aleks Bromfield and Shriram Krishnamurthi},
  title = {Flapjax: A Programming Language for Ajax Applications},
  year = {2009},
  booktitle = {OOPSLA}
}

@inproceedings{Fernandez08genericpadsml,
  author = {Mary Fern\'{a}ndez and Kathleen Fisher and J. Nathan Foster and Michael Greenberg and Yitzhak Mandelbaum},
  title = {A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers},
  booktitle = {PADL},
  pages = {133--149},
  year = {2008},
  url = {http://www.springerlink.com/content/y2v61801m8273k73}
}

@unpublished{Greenberg07views,
  author = {Michael Greenberg},
  title = {Declarative, composable views},
  year = {2007}
}

@techreport{Greenberg05margrave,
  author = {Michael Greenberg and Casey Marks and Leo Alexander Meyerovich and Michael Carl Tschantz},
  title = {The Soundness and Completeness of Margrave with Respect to a Subset of XACML},
  year = {2005},
  institution = {Brown University},
  number = {CS--05--05},
  url = {http://www.cs.brown.edu/research/pubs/techreports/reports/CS-05-05.html}
}

@inproceedings{Krishnamurthi04modverif,
 author = {Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg},
 title = {Verifying aspect advice modularly},
 booktitle = {FSE},
 year = {2004},
 pages = {137--146},
 doi = {http://doi.acm.org/10.1145/1029894.1029916}
}