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


mgreenbe.papers -- complete list of publications


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.

Kleene Algebras Modulo Theories
Ryan Beckett, Eric Campbell, and Michael Greenberg
Solver-based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
OOPSLA 2021 Distinguished Artifact Award
Gradually Structured Data
Stefan Malewski, Michael Greenberg, and Éric Tanter
Unix Shell Programming: The Next 50 Years
Michael Greenberg, Konstantinos Kallas, and Nikos Vasilakis
HotOS 2021 Distinguished Presentation Award
Report on the "The Future of the Shell" Panel at HotOS 2021
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, and Stephen Kell
(ext. abs.)
Datalog-Based Systems Can Use Incremental SMT Solving
Aaron Bembenek, Michael Ballantyne, Michael Greenberg, and Nada Amin
Gradual Algebraic Data Types
Michael Greenberg, Stefan Malewski, and Éric Tanter
Polymorphic Manifest Contracts, Revised and Resolved
Taro Sekiyama, Atsushi Igarashi, and Michael Greenberg
This paper resolves bugs in our ESOP 2011 paper and my dissertation.
SNAP: Stateful Network-Wide Abstractions for Packet Processing
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, and David Walker
Temporal NetKAT
Ryan Beckett, Michael Greenberg, David Walker
Type systems for SDN controllers
Marco Gaboardi, Michael Greenberg, and David Walker
Concurrent NetCore: From Policies to Pipelines
Cole Schlesinger, Michael Greenberg, David Walker
Manifest Contracts
Michael Greenberg
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
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.
Measure Transformer Semantics for Bayesian Machine Learning
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen Van Gael
Matching Lenses: Alignment and View Update
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, and Benjamin C. Pierce
Contracts Made Manifest
Michael Greenberg, Benjamin C. Pierce, and Stephanie Weirich
Software Foundations
Benjamin C. Pierce, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey
Flapjax: A Programming Language for Ajax Applications
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).
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
The Soundness and Completeness of Margrave with Respect to a Subset of XACML
Michael Greenberg, Casey Marks, Leo Alexander Meyerovich, and Michael Carl Tschantz
Brown TR CS-05-05
Verifying Aspect Advice Modularly
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg