conf.researchr.org / 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

PLDI 2022 Author of Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency within the PLDI-track
PLDI 2021 Author of Modular Data-Race-Freedom Guarantees in the Promising Semantics within the PLDI-track
PLDI 2020 Author of Promising 2.0: Global Optimizations in Relaxed Memory Concurrency within the PLDI Research Papers-track
POPL 2020 Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track