Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Lee
conf.researchr.org general profile
POPL 2026 profile
VL/HCC 2024 profile
Registered user since Mon 26 Aug 2024
Name:
Michael Lee
Affiliation:
University of Cambridge, UK
Contributions
2026
POPL
Author of Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks within the POPL-track
LAFI
Author of Typed Abstractions for Causal Probabilistic Programming within the LAFI 2026-track
2024
VL/HCC
Session Chair of Session 13: Design and Debugging (part of PPIG papers)
Author of Predictability of identifier naming with Copilot: A case study for mixed-initiative programming tools within the PPIG papers-track
Share
x
Sat 14 Mar 04:20