• Sign in
  • Sign up
conf.researchr.org / Sunho Park
  • PLDI 2024 profile
  • PLDI 2025 profile
  • PLDI 2026 profile
  • SPLASH 2023 profile
Sunho Park

Registered user since Tue 12 Sep 2023

Name:Sunho Park
Country:South Korea
Affiliation:Seoul National University
Personal website: https://park-sunho.github.io
GitHub: https://github.com/park-sunho
Research interests:Formal verification

Contributions

2026

PLDI

  • Student Volunteer Co-Chair in Organizing Committee

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
xThu 12 Feb 14:18
using conf.researchr.org (v1.73.0)
Support page
Sign Up