Taro Sekiyama, Atsushi Igarashi, Michael Greenberg: “Polymorphic Manifest Contracts, Revised and Resolved.” ACM Trans. Program. Lang. Syst. 39(1): 3:1-3:36 (2017).
Michael Greenberg: “Word expansion supports POSIX shell interactivity,” Programming (P/X) 2018: 153-160.
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, and David Walker. "SNAP: Stateful Network-Wide Abstractions for Packet Processing," SIGCOMM 2016
Ryan Beckett, Michael Greenberg, David Walker. "Temporal NetKAT," PLDI 2016
Michael Greenberg. “Space-Efficient Manifest Contracts,” POPL 2015
Michael Greenberg, Kathleen Fisher, David Walker. "Tracking the Flow of Ideas through the Programming Languages Literature,” SNAPL 2015
Benjamin C. Pierce, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey. Software Foundations course textbook.
Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich. “Contracts Made Manifest,” POPL 2010