mgree.bib

@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}
}

This file has been generated by bibtex2html 1.80