PLDI 2026
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States
PLDI 2026 (series) / Sunho Park
Sunho Park

Registered user since Tue 12 Sep 2023

Name:Sunho Park
Country:South Korea
Affiliation:KAIST
Personal website: https://cp.kaist.ac.kr/sunho.park/
GitHub: https://github.com/kingdoctor123
Research interests:Formal verification

Contributions

Show activities from other conferences

Using general profile