Seung Hoon Park

According to our database, Seung Hoon Park authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version).

Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner

CoRR, August, 2025

Compositional Symbolic Execution for the Next 700 Memory Models.

Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner

Proc. ACM Program. Lang., 2025

2023

A Formal CHERI-C Semantics for Verification.

Seung Hoon Park, Rekha R. Pai, Tom Melham

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

A Formal CHERI-C Memory Model.

Seung Hoon Park

Arch. Formal Proofs, 2022