Papers

Michael Greenberg

Papers appear in reverse chronological order. When there's both a journal paper and a conference paper, I list them both by the date of whichever was published first.

The paper title links to the ‘best’ version of each paper, typically the final conference version (with any corrections) or the longer journal version.


Ryan Beckett, Eric Campbell, and Michael Greenberg
Taro Sekiyama, Atsushi Igarashi, and Michael Greenberg
bib
This paper resolves bugs in our ESOP 2011 paper and my dissertation.
Michael Greenberg
Michael Greenberg
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, and David Walker
PLDI 2016
Ryan Beckett, Michael Greenberg, David Walker
Michael Greenberg
Michael Greenberg, Kathleen Fisher, and David Walker
Marco Gaboardi, Michael Greenberg, and David Walker
bib
Cole Schlesinger, Michael Greenberg, David Walker
bib
PhD dissertation 2013
Michael Greenberg
NB the PDF has minor corrections bib
Cătălin Hriţcu, Michael Greenberg, Ben Karel, Benjamin Pierce and Greg Morrisett
João Filipe Belo, Michael Greenberg, Atsushi Igarashi, and Benjamin C. Pierce
The original ESOP 2011 paper has a serious bug compromising its type soundness result; I've written about this in the errata.
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen Van Gael
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, and Benjamin C. Pierce
bib
POPL 2010; JFP 2012
Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich
Course book 2009–present
Benjamin C. Pierce, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey
bib
Leo Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi
bib
Mary Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, and Yitzhak Mandelbaum
Undergraduate honors thesis, 2007
Michael Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz
bib
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
bib