Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ben Greenman
conf.researchr.org general profile
ICFP 2026 profile
ICFP/SPLASH 2025 profile
PLDI 2025 profile
PLDI 2026 profile
POPL 2026 profile
POPL 2027 profile
SPLASH 2022 profile
SPLASH 2023 profile
‹Programming› 2023 profile
‹Programming› 2024 profile
‹Programming› 2026 profile
Registered user since Tue 5 Jul 2022
Name:
Ben Greenman
Bio:
https://conf.researchr.org/profile/bengreenman
Affiliation:
University of Utah, USA
Personal website:
https://users.cs.utah.edu/~blg/
Contributions
2027
POPL
Committee Member in Program Committee within the POPL-track
2026
ICFP
Workshop & Tutorial Co-Chair in Organising Committee
Workshops Co-Chair in Workshop Selection Committee within the ICFP Workshops-track
Choreographic Programming
Committee Member in Program Committee within the CP 2026-track
‹Programming›
Session Chair of Type systems (part of Research Papers)
POPL
Author of Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers within the POPL-track
Session Chair of Specification and Verification Methods (part of POPL)
2025
HATRA
Committee Member in Program Committee within the HATRA 2025-track
ICFP
Workshops Co-Chair in Organizing Committee
ICFP/SPLASH
Workshops Co-Chair in Workshop Selection Committee within the Workshops-track
Workshops Co-Chair in Organizing Committee
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2024
‹Programming›
Author of Conceptual Mutation Testing for Student Programming Misconceptions within the Research Papers-track
2023
SPLASH
Session Chair of DSLs (part of OOPSLA)
Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Co-chair in External Review / Artifact Evaluation Committee within the OOPSLA-track
‹Programming›
Author of Gradual Soundness: Lessons from Static Python within the Research Papers-track
2022
SPLASH
Artifact Evaluation Co-Chair in Organizing Committee
Co-chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Share
x
Fri 17 Apr 20:37
