Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Seung Hoon Park
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2024 profile
POPL 2024 profile
Registered user since Fri 1 Dec 2023
Name:
Seung Hoon
Park
Affiliation:
Imperial College London
Contributions
2025
SPLASH
Author of Compositional Symbolic Execution for the Next 700 Memory Models within the OOPSLA-track
2024
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Formal Methods for Incorrectness
Author of Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning within the Incorrectness-track
Share
x
Mon 8 Jun 11:07