MGREENBE.PAPERS(5) Publications — Michael Greenberg MGREENBE.PAPERS(5)

NAME

mgreenbe.papers -- complete list of publications

SYNOPSIS

mgreenbe.papers --bibtex=html
mgreenbe.papers --bibtex=bib

DESCRIPTION

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
bib
--types-2023
Lykourgos Mastorou, Niki Vazou, Michael Greenberg
bib
--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
--datalog-2022
Aaron Bembenek, Michael Greenberg, and Stephen Chong
bib
--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
--oopsla-2021a
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
OOPSLA 2021 Distinguished Artifact Award
--oopsla-2021b
Stefan Malewski, Michael Greenberg, and Éric Tanter
bib
--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
--iclp-2020
(ext. abs.)
Aaron Bembenek, Michael Ballantyne, Michael Greenberg, and Nada Amin
--popl-2020
--wgt-2020
Michael Greenberg, Stefan Malewski, and Éric Tanter
--snapl-2019
--coqpl-2019
--dsldi-2018
--px-2018
--toplas-2017
Taro Sekiyama, Atsushi Igarashi, and Michael Greenberg
bib
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
--popl-2015
--plvnet-2015
Marco Gaboardi, Michael Greenberg, and David Walker
bib
--icfp-2014
Cole Schlesinger, Michael Greenberg, David Walker
bib
--phd-2013
Michael Greenberg
bib
NB the PDF has minor corrections
--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
bib
--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
bib
--oopsla-2009
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).
--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
bib
Brown TR CS-05-05
--fse-2004
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
bib

SEE ALSO

(END)