NAME
mgreenbe.papers -- complete list of publicationsDESCRIPTION
Papers are 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.
--oopsla-2024a
Aaron Bembenek, Michael Greenberg, Stephen Chong
--oopsla-2024b
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, Arjun Guha<
--hotos-2023
Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis
--types-2023
Lykourgos Mastorou, Niki Vazou, Michael Greenberg
--tse-2023
Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda
--evcs-2023
--popl-2023
Aaron Bembenek, Michael Greenberg, and Stephen Chong
--datalog-2022
--haskell-2022
--osdi-2022
Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H.Y. Dang, Michael Greenberg, and Nikos Vasilakis
--pldi-2022
Ryan Beckett, Eric Campbell, and Michael Greenberg
--plos-2021
Michael Greenberg
--oopsla-2021a
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
OOPSLA 2021 Distinguished Artifact Award
--oopsla-2021b
--hotos-2021
Michael Greenberg, Konstantinos Kallas, and Nikos Vasilakis
HotOS 2021 Distinguished Presentation Award
--arxiv-2021
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, and Stephen Kell
--oopsla-2020
Aaron Bembenek, Michael Greenberg, and Stephen Chong
--iclp-2020
(ext. abs.)
Aaron Bembenek, Michael Ballantyne, Michael Greenberg, and Nada Amin
--popl-2020
Michael Greenberg and Austin J. Blatt
Project website: shell.cs.pomona.edu.
--wgt-2020
Michael Greenberg, Stefan Malewski, and Éric Tanter
--snapl-2019
--coqpl-2019
Michael Greenberg and Joseph C. Osborn
--dsldi-2018
--px-2018
--toplas-2017
Taro Sekiyama, Atsushi Igarashi, and Michael Greenberg
This paper resolves bugs in our ESOP
2011 paper and my
dissertation.
--obt-2017
--tfp-2016
--sigcomm-2016
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, and David Walker
--pldi-2016
Ryan Beckett, Michael Greenberg, David Walker
--hope-2015
--snapl-2015
Michael Greenberg,
Kathleen Fisher, and David Walker
--popl-2015
Michael Greenberg
mov via ACM DL (POPL 2015 talk)
pdf (slides)
pdf (uncorrected)
pdf (extended version; arXiv)
older pdf (coercions + dynamic types; July, 2013)
bib
NB the primary PDF has minor corrections
--plvnet-2015
--icfp-2014
Cole Schlesinger, Michael
Greenberg, David Walker
--phd-2013
--s&p 2013
Cătălin
Hriţcu, Michael Greenberg, Ben Karel, Benjamin Pierce
and Greg Morrisett
--esop-2011a
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
an errata blogpost.
--esop-2011b,
--lmcs-2013
Johannes Borgström,
Andrew D. Gordon, Michael Greenberg, James Margetson, and
Jurgen Van Gael
--icfp-2010
Davi M. J. Barbosa, Julien
Cretin, Nate Foster, Michael Greenberg, and Benjamin
C. Pierce
--popl-2010,
--jfp-2012
Michael Greenberg,
Benjamin C. Pierce, and Stephanie Weirich
--book-2009
Benjamin C. Pierce, Chris
Casinghino, Marco Gaboardi, Michael Greenberg,
Cătălin Hriţcu, Vilhelm Sjöberg, and
Brent Yorgey
--oopsla-2009
Leo Meyerovich, Arjun
Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg,
Aleks Bromfield, and Shriram Krishnamurthi
Best Student Paper (awarded 2009). Most Influential Paper (awarded 2019).
--padl-2008
Mary Fernández,
Kathleen Fisher, J. Nathan Foster, Michael Greenberg,
and Yitzhak Mandelbaum
--ugrad-2007
--tr-2005
Michael Greenberg,
Casey Marks, Leo Alexander Meyerovich, and Michael
Carl Tschantz
Brown TR CS-05-05
--fse-2004
SEE ALSO
Stevens
Last change: MAY 2025
47
(END)