Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jihong Min
conf.researchr.org general profile
PLDI 2026 profile
Registered user since Thu 23 Apr 2026
Name:
Jihong Min
Country:
South Korea
Affiliation:
KAIST
Contributions
2026
PLDI
Organizer of Mechanized Specifications for Real-World Programming Languages within the Tutorials-track
Share
x
Tue 27 Oct 04:06