POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / Michael Greenberg
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

PLMW @ POPL 2023 Committee Member in Organizing Committee within the PLMW @ POPL 2023-track
POPL 2023 Committee Member in Program Committee within the POPL-track
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
Show activities from other conferences

Using general profile