Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Seung Hoon Park
conf.researchr.org general profile
PLDI 2024 profile
POPL 2024 profile
Registered user since Fri 1 Dec 2023
Name:
Seung Hoon Park
Affiliation:
Imperial College London
Contributions
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 30 Dec 18:52