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

Contributions

PLMW @ POPL 2023 Session Chair of Session 2 (part of PLMW @ POPL 2023)
Committee Member in Organizing Committee within the PLMW @ POPL 2023-track
Moderator of Career Trajectories in PL within the PLMW @ POPL 2023-track
ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
EVCS Author of Reasoning About Paths in the Interface Graph within the Eelco Visser Commemorative Symposium-track
POPL 2023 Speaker of Automated Verification: Session Preview within the Session Previews-track
Session Chair of Automated Verification (part of POPL)
Committee Member in Program Committee within the POPL-track
Author of From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems within the POPL-track
DLS 2022 Committee Member in Program Committee within the DLS 2022-track
Haskell 2022 Author of How to Safely Use Extensionality in Liquid Haskell within the Haskell 2022-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)
PLMW Panelist of Mentoring Panel: Post-graduate Career Paths within the PLMW-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
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)
POPL 2021 Publicity Chair and Virtualization Chair in Organizing Committee
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
POPL 2020 Author of Executable Formal Semantics for the POSIX Shell within the Research Papers-track
Publicity Chair in Organizing Committee
WGT 2020 Author of Gradual Algebraic Data Types within the WGT-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-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
CoqPL 2019 Author of Teaching Discrete Mathematics to Early Undergraduates with Software Foundations within the CoqPL-track
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)
DSLDI 2018 Author of The POSIX shell is an interactive DSL for concurrency within the DSLDI 2018-track
PLDI 2018 Committee Member in External Review Committee
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
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
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
PLDI 2016 Author of Temporal NetKAT within the Research Papers-track