[1] Taro Sekiyama, Atsushi Igarashi, and Michael Greenberg. Polymorphic manifest contracts, revised and resolved. ACM Trans. Program. Lang. Syst., 39(1):3:1--3:36, February 2017. [ bib | DOI | http ]
[2] Michael Greenberg. Understanding the posix shell as a programming language, 2017. OBT. [ bib ]
[3] Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, , and David Walker. SNAP: Stateful network-wide abstractions for packet processing. In SIGCOMM, 2016. [ bib ]
[4] Ryan Beckett, Michael Greenberg, and David Walker. Temporal NetKAT. In PLDI, 2016. [ bib ]
[5] Michael Greenberg. Combining manifest contracts with state, 2015. HOPE. [ bib ]
[6] Michael Greenberg. Space-efficient manifest contracts. In POPL, pages 181--194, 2015. [ bib | DOI ]
[7] Michael Greenberg, Kathleen Fisher, and David Walker. Tracking the Flow of Ideas through the Programming Languages Literature. In Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, and Greg Morrisett, editors, SNAPL, volume 32 of Leibniz International Proceedings in Informatics (LIPIcs), pages 140--155. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2015. [ bib | DOI ]
[8] Ryan Beckett, Michael Greenberg, and David Walker. Temporal NetKAT, 2015. PLVNET. [ bib ]
[9] Marco Gaboardi, Michael Greenberg, and David Walker. Type systems for SDN controllers, 2015. PLVNET. [ bib ]
[10] Cole Schlesinger, Michael Greenberg, and David Walker. Concurrent netcore: From policies to pipelines. In ICFP, 2014. [ bib ]
[11] Michael Greenberg. Manifest Contracts. PhD thesis, University of Pennsylvania, November 2013. [ bib ]
[12] Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen Van Gael. Measure transformer semantics for bayesian machine learning. Logical Methods in Computer Science, 9(3), 2013. [ bib | DOI | http ]
[13] Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, and Greg Morrisett. All your ifcexception are belong to us. In Security and Privacy (SP), 2013. [ bib | DOI ]
[14] Michael Greenberg and Yitzhak Mandelbaum. Towards a core calculus for implicitly migration-capable applications. Submitted to PEPM'12., 2012. [ bib ]
[15] Jo ao Filipe Belo, Michael Greenberg, Atsushi Igarashi, and Benjamin C. Pierce. Polymorphic contracts. In ESOP, 2011. [ bib ]
[16] Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen Van Gael. Measure transformer semantics for bayesian machine learning. In ESOP, 2011. [ bib ]
[17] Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, and Benjamin C. Pierce. Matching lenses: Alignment and view update. In ICFP, 2010. [ bib ]
[18] Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, and Benjamin C. Pierce. Matching lenses: Alignment and view update. Technical Report MS-CIS-10-01, University of Pennsylvania, 1 2010. [ bib | http ]
[19] Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich. Contracts made manifest. JFP, 22(3):225--274, May 2012. [ bib ]
[20] Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich. Contracts made manifest. In POPL, 2010. [ bib ]
[21] Benjamin C. Pierce, Chris Casinghino Marco Gaboardi, Michael Greenberg, Catalin Hritcu, Vilhelm Sjöberg, and Brent Yorgey. Software Foundations. 2009. [ bib | http ]
[22] Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi. Flapjax: A programming language for ajax applications. In OOPSLA, 2009. [ bib ]
[23] 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. In PADL, pages 133--149, 2008. [ bib | http ]
[24] Michael Greenberg. Declarative, composable views. 2007. [ bib ]
[25] Michael Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz. The soundness and completeness of margrave with respect to a subset of xacml. Technical Report CS--05--05, Brown University, 2005. [ bib | .html ]
[26] Shriram Krishnamurthi, Kathi Fisler, and Michael Greenberg. Verifying aspect advice modularly. In FSE, pages 137--146, 2004. [ bib | DOI ]

This file was generated by bibtex2html 1.98.