Michael Greenberg -

Registered user since Wed 1 Jul 2015

Name:Michael Greenberg

Country:United States

Affiliation:Stevens Institute of Technology

Personal website:https://mgree.github.io

Twitter:https://twitter.com/mgrnbrg

GitHub:https://github.com/mgree

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
PLMW	Panelist of Mentoring Panel: Post-graduate Career Paths within the PLMW-track
PLDI 2022	Author of Kleene Algebra Modulo Theories: A Framework for Concrete KATs within the PLDI-track Session Chair of Types (part of SIGPLAN Track)
PADL 2022	Committee Member in Programme Committee within the PADL 2022-track
SPLASH 2021	Author of Formulog: Datalog for SMT-based Static Analysis within the SIGPLAN Papers-track Committee Member in Review Committee within the OOPSLA-track Author of Gradually Structured Data within the OOPSLA-track Author of Solver-Based Gradual Type Migration within the OOPSLA-track
POPL 2021	Publicity Chair and Virtualization Chair in Organizing Committee
ECOOP 2021	PC Member in Program Committee within the ECOOP Technical Papers-track
ECOOP and ISSTA 2021	Author of Advances in Type Systems within the Discussions with Experts-track Session Chair of Advances in Type Systems (part of Discussions with Experts)
SPLASH 2020	Author of Formulog: Datalog for SMT-Based Static Analysis within the OOPSLA-track Author of Formulog: Datalog for SMT-based Static Analysis within the Posters-track Author of Formulog: Datalog for SMT-Based Static Analysis within the OOPSLA Artifacts-track
WGT 2020	Author of Gradual Algebraic Data Types within the WGT-track
POPL 2020	Author of Executable Formal Semantics for the POSIX Shell within the Research Papers-track Publicity Chair in Organizing Committee
Off the Beaten Track 2019	General 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 2019	Author of Teaching Discrete Mathematics to Early Undergraduates with Software Foundations within the CoqPL-track
PLDI 2019	Committee Member in Program Committee within the PLDI Research Papers-track
‹Programming› 2019	Committee Member in Program Committee within the Research Papers-track
POPL 2019	Committee 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 2018	Author of The POSIX shell is an interactive DSL for concurrency within the DSLDI 2018-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
PX/18	Author of Word expansion supports POSIX shell interactivity within the PX/18-track
Off the Beaten Track 2018	Session Chair of Keynote (part of Off the Beaten Track 2018) Program Chair in Organizing Committee within the Off the Beaten Track 2018-track
PLDI 2018	Committee Member in External Review Committee
POPL 2018	Remote Participation Chair in Organizing Committee
Off the Beaten Track 2017	Author of Understanding the POSIX Shell as a Programming Language within the OBT-track
PLDI 2016	Author of Temporal NetKAT within the Research Papers-track
ECOOP 2016	Committee Member in Program Committee within the Research Track-track