• Sign in
  • Sign up
conf.researchr.org / Minki Cho
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2020 profile

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

Share
xSun 3 Jul 05:21
using conf.researchr.org (v1.56.1)
Support page
Sign Up