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.


Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
bib
Stefan Malewski, Michael Greenberg, and Éric Tanter
bib
Niki Vazou and Michael Greenberg
Ryan Beckett, Eric Campbell, and Michael Greenberg
Aaron Bembenek, Michael Greenberg, and Stephen Chong
Aaron Bembenek, Michael Ballantyne, Michael Greenberg, and Nada Amin
Michael Greenberg and Austin J. Blatt
Project website: shell.cs.pomona.edu.
Michael Greenberg, Stefan Malewski, and Éric Tanter
Michael Greenberg
bib
Michael Greenberg and Joseph C. Osborn
Recent course websites: Spring 2018, Spring 2020
Michael Greenberg
bib
Michael Greenberg
bib
Taro Sekiyama, Atsushi Igarashi, and Michael Greenberg
bib
This paper resolves bugs in our ESOP 2011 paper and my dissertation.
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
Best Student Paper (awarded 2009). Most Influential Paper (awarded 2019).
Mary Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, and Yitzhak Mandelbaum
Undergraduate honors thesis, 2007
Michael Greenberg
Michael Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz
bib
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
bib