Michael Greenberg - POPL 2023

Registered user since Wed 1 Jul 2015

Name:Michael Greenberg

Country:United States

Affiliation:Stevens Institute of Technology

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 Career Trajectories in PL
POPL 2023	Automated Verification: Session Preview Session Chair of Automated Verification (part of POPL) 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