• Sign in
  • Sign up
conf.researchr.org / Sunho Park
  • PLDI 2024 profile
  • PLDI 2025 profile
  • SPLASH 2023 profile
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

2025

PLDI

  • Author of Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic within the PLDI Research Papers-track
  • Author of Verifying Lock-Free Traversals in Relaxed Memory Separation Logic within the PLDI Research Papers-track
  • Student Volunteer Co-Chair in Organizing Committee

2024

PLDI

  • Author of A Proof Recipe for Linearizability in Relaxed Memory Separation Logic within the PLDI Research Papers-track

2023

SPLASH

  • Author of Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic within the OOPSLA-track
Share
xTue 20 May 17:44
using conf.researchr.org (v1.69.0)
Support page
Sign Up