Sung-Hwan Lee (이성환)

Ph.D. Student

Software Foundations Laboratory

Department of Computer Science and Engineering

Seoul National University

sunghwan.lee [at] sf.snu.ac.kr

cv   |  google scholar   |  dblp   |  github

About

I am a final-year Ph.D. student at Seoul National University, advised by Chung-Kil Hur. Previously, I received B.S. in Computer Science and Engineering from Seoul National University.

My research interests lie in programming languages, concurrency, and software verification. In particular, I am interested in building formal foundations for writing, compiling, and verifying concurrent software under weak consistency. To this end, I have been designing relaxed memory models for programming languages and hardware architectures (Promising 2.0, Promising-ARM, Persistent memory), verifying compiler optimizations under weak memory (SEQ), and studying fundamental principles in writing concurrent programs (Local DRF).

I am on the job market this year, looking forward to working on programming languages, concurrency, compilers, or verification. Please don’t hesitate to contact me if you have any questions!

Publications

• Putting Weak Memory in Order via a Promising Intermediate Representation.
  Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav.
  ACM SIGPLAN Conference on Programming Language Design and Implementation, conditionally accepted (PLDI 2023).
  
• Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency.
  Minki Cho*, Sung-Hwan Lee*, Dongjae Lee, Chung-Kil Hur, Ori Lahav.
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
  [paper (with appendix)] [project page] [publisher page]
• Revamping Hardware Persistency Models: View-based and Axiomatic Persistency Models for Intel-x86 and ARMv8.
  Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang.
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021).
  [paper] [project page] [publisher page]
• Modular Data-Race-Freedom Guarantees in the Promising Semantics.
  Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav.
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021).
  [paper (with appendix)] [project page] [publisher page]
• Promising 2.0: Global Optimizations in Relaxed Memory Concurrency.
  Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis.
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020).
  [paper] [appendix] [project page] [publisher page]
• Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model.
  Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur.
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019).
  [paper (with appendix)] [project page] [publisher page]
• Illuminance During a Solar Eclipse with Limb Darkening: A Mathematicsl Model.
  Sung-Hwan Lee, Siyul Lee.
  Journal of the Korean Astronomical Society, vol. 45, no. 5, Oct. 2012.
  [paper] [publisher page]

Education

• Seoul National University, Sep. 2017 - Aug. 2023 (expected)
  Ph.D. Student in Computer Science and Engineering
  Advisor: Chung-Kil Hur
• Seoul National University, Mar. 2013 - Aug. 2017
  B.S. in Computer Science and Engineering
• Seoul Science High School, Mar. 2010 - Feb. 2013