Michael Greenberg

Registered user since Wed 1 Jul 2015

Name: Michael Greenberg

Affiliation: Pomona College

Personal website: http://www.cs.pomona.edu/~michael/

Contributions

POPL 2020Publicity Chair in Organizing Committee
Off the Beaten Track 2019General Co-Chair in Organizing Committee within the Off the Beaten Track 2019-track
Session Chair of Morning Papers (part of Off the Beaten Track 2019)
CoqPL 2019Author of Teaching Discrete Mathematics to Early Undergraduates with Software Foundations within the CoqPL-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
‹Programming› 2019Committee Member in Program Committee within the Research Papers-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
Session Chair of Verified Compilation and Concurrency (part of Research Papers)
Publicity Chair in Organizing Committee
DSLDI 2018Author of The POSIX shell is an interactive DSL for concurrency within the DSLDI 2018-track
ICFP 2019Committee Member in External Review Committee within the Research Papers-track
PX/18Author of Word expansion supports POSIX shell interactivity within the PX/18-track
Off the Beaten Track 2018Session Chair of Keynote (part of Off the Beaten Track 2018)
Program Chair in Organizing Committee within the Off the Beaten Track 2018-track
PLDI 2018Committee Member in External Review Committee
POPL 2018Remote Participation Chair in Organizing Committee
Off the Beaten Track 2017Author of Understanding the POSIX Shell as a Programming Language within the OBT-track
PLDI 2016Author of Temporal NetKAT within the Research Papers-track
ECOOP 2016Committee Member in Program Committee within the Research Track-track