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

NAME

mgreenbe.papers -- complete list of publications

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.

--in-submission
--plos-2021
--oopsla-2021a
Solver-based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
--oopsla-2021b
Gradually Structured Data
Stefan Malewski, Michael Greenberg, and Éric Tanter
bib
--hotos-2021
Unix Shell Programming: The Next 50 Years
Michael Greenberg, Konstantinos Kallas, and Nikos Vasilakis
HotOS 2021 Distinguished Presentation Award
--arxiv-2021a
Kleene Algebras Modulo Theories
Ryan Beckett, Eric Campbell, and Michael Greenberg
--arxiv-2021b
Report on the "The Future of the Shell" Panel at HotOS 2021
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, and Stephen Kell
--oopsla-2020
--iclp-2020
(ext. abs.)
Datalog-Based Systems Can Use Incremental SMT Solving
Aaron Bembenek, Michael Ballantyne, Michael Greenberg, and Nada Amin
--popl-2020
--wgt-2020
Gradual Algebraic Data Types
Michael Greenberg, Stefan Malewski, and Éric Tanter
--snapl-2019
--coqpl-2019
--dsldi-2018
--px-2018
--toplas-2017
Polymorphic Manifest Contracts, Revised and Resolved
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
SNAP: Stateful Network-Wide Abstractions for Packet Processing
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, and David Walker
--pldi-2016
Temporal NetKAT
Ryan Beckett, Michael Greenberg, David Walker
--hope-2015
--snapl-2015
--popl-2015
--plvnet-2015
Type systems for SDN controllers
Marco Gaboardi, Michael Greenberg, and David Walker
bib
--icfp-2014
Concurrent NetCore: From Policies to Pipelines
Cole Schlesinger, Michael Greenberg, David Walker
bib
--phd-2013
Manifest Contracts
Michael Greenberg
bib
NB the PDF has minor corrections
--s&p 2013
All Your IFCException Are Belong To Us
Cătălin Hriţcu, Michael Greenberg, Ben Karel, Benjamin Pierce and Greg Morrisett
--esop-2011a
Polymorphic Contracts
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
Measure Transformer Semantics for Bayesian Machine Learning
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen Van Gael
--icfp-2010
Matching Lenses: Alignment and View Update
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, and Benjamin C. Pierce
bib
--popl-2010,
--jfp-2012
Contracts Made Manifest
Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich
--book-2009
Software Foundations
Benjamin C. Pierce, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey
bib
--oopsla-2009
Flapjax: A Programming Language for Ajax Applications
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
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers
Mary Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, and Yitzhak Mandelbaum
--ugrad-2007
--tr-2005
The Soundness and Completeness of Margrave with Respect to a Subset of XACML
Michael Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz
bib
Brown TR CS-05-05
--fse-2004
Verifying Aspect Advice Modularly
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
bib

SEE ALSO

(END)