conf.researchr.org / 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
X (Twitter): https://x.com/mgrnbrg
GitHub: https://github.com/mgree
Contributions
2024
2023
PLMW
POPL
- 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