‹Programming› 2026
Mon 16 - Fri 20 March 2026
Munich, Germany
Toggle navigation
Attending
Venue: Institute of Informatics, LMU Munich
Accommodation and Access
Program
‹Programming› Program
Your Program
Mon 16 Mar
Tue 17 Mar
Wed 18 Mar
Thu 19 Mar
Fri 20 Mar
Tracks
‹Programming› 2026
Artifacts
Research Papers
Student Volunteers
Workshops
Workshops
MoreVMs
PX/26
SCLIT
Substrates
-26
VIMPL
Organization
‹Programming› 2026 Committees
Organizing Committee
Steering Committee
Track Committees
Artifacts
Research Papers
Student Volunteers
Workshops
Contributors
People Index
Workshops
MoreVMs
Program Committee
Organizing Committee
PX/26
Organizing Committee
Program Committee
SCLIT
Organizing Committee
Program Committee
Substrates
Organizing Committee
Program Committee
VIMPL
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2026
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2026
(
series
) /
Hanwen Guo
‹Programming› 2026 profile
conf.research.org general profile
POPL 2026 profile
Registered user since Wed 10 Dec 2025
Name:
Hanwen Guo
Affiliation:
University of Utah
Personal website:
https://hanwen.io/en/
Contributions
2026
‹Programming›
If-T: A Benchmark for Type Narrowing
Show activities from other conferences
Share
Using general profile
x
Thu 5 Feb 13:10