Michael Greenberg

Identifiers

• name variant Michael Greenberg 0.60 · backfill

Papers (5)

1. Executable formal semantics for the POSIX shell cs.PL · 2019 · author #1
2. Space-Efficient Latent Contracts cs.PL · 2016 · author #1
3. SNAP: Stateful Network-Wide Abstractions for Packet Processing cs.NI · 2015 · author #3
4. Space-Efficient Manifest Contracts cs.PL · 2014 · author #1
5. Properties of Full-Flag Johnson Graphs math.CO · 2013 · author #2

Mentions

• 1301.1131 #2 · backfill · confidence 0.70 Michael Greenberg

Frequent Coauthors

• Austin J. Blatt 1 shared papers
• David Walker 1 shared papers
• Irving Dai 1 shared papers
• Jennifer Rexford 1 shared papers
• Matt Tanzer 1 shared papers
• Mina Tahmasbi Arashloo 1 shared papers
• Noah Schoem 1 shared papers
• Yaron Koral 1 shared papers