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

@book{Pierce09sf,
  author = {Benjamin C. Pierce and Chris Casinghino and Michael Greenberg},
  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 = {Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2009}
}

@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 = {Practical Aspects of Declarative Languages (PADL) 2008},
  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 = {Foundations of Software Engineering (FSE) 2004},
 year = {2004},
 pages = {137--146},
 doi = {http://doi.acm.org/10.1145/1029894.1029916}
}