Minki Cho -

Registered user since Wed 10 Mar 2021

Name:Minki Cho

Country:South Korea

Affiliation:Seoul National University

Personal website: https://sf.snu.ac.kr/minki.cho/

Contributions

2025

POPL

Author of Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting within the POPL-track

2023

SPLASH

Author of Stuttering for Free within the OOPSLA-track

PLDI

Author of Putting Weak Memory in Order via a Promising Intermediate Representation within the PLDI Research Papers-track
Author of Fair Operational Semantics within the PLDI Research Papers-track

POPL

Author of Conditional Contextual Refinement within the POPL-track

2022

PLDI

Author of Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency within the PLDI-track

2021

PLDI

Author of Modular Data-Race-Freedom Guarantees in the Promising Semantics within the PLDI-track

2020

PLDI

Author of Promising 2.0: Global Optimizations in Relaxed Memory Concurrency within the PLDI Research Papers-track

POPL

Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track