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.
--in-submission
--pldi-2022
--plos-2021
--oopsla-2021a
Solver-based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
OOPSLA 2021 Distinguished Artifact Award
--oopsla-2021b
--hotos-2021
Unix Shell Programming:
The Next 50 Years
Michael Greenberg, Konstantinos Kallas, and Nikos Vasilakis
HotOS 2021 Distinguished Presentation Award
--arxiv-2021
Report on the "The Future of the Shell" Panel at HotOS 2021
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, and Stephen Kell
--oopsla-2020
Formulog: Datalog for SMT-based Static Analysis
Aaron Bembenek, Michael Greenberg, and Stephen Chong
--iclp-2020
(ext. abs.)
Datalog-Based Systems Can Use Incremental SMT Solving
Aaron Bembenek, Michael Ballantyne, Michael Greenberg, and Nada Amin
--popl-2020
Executable formal semantics for the POSIX shell
Michael Greenberg and Austin J. Blatt
Project website: shell.cs.pomona.edu.
--wgt-2020
--snapl-2019
--coqpl-2019
Teaching Discrete Mathematics to Early Undergraduates with Software Foundations
Michael Greenberg and Joseph C. Osborn
--dsldi-2018
--px-2018
--toplas-2017
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.
--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
Tracking the Flow of
Ideas through the Programming Languages Literature
Michael Greenberg,
Kathleen Fisher, and David Walker
--popl-2015
Space-Efficient Manifest Contracts
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
Concurrent NetCore: From
Policies to Pipelines
Cole Schlesinger, Michael
Greenberg, David Walker
--phd-2013
--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
--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
--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
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
Brown TR CS-05-05
--fse-2004
SEE ALSO
Stevens
Last change: APRIL 2022
47
(END)