
Sung-Hwan Lee (이성환)
Ph.D. Student
Software Foundations Laboratory
Department of Computer Science and Engineering
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 contact me if you have any questions!
Publications
* equal contribution- (Ph.D. Thesis) Understanding and Fulfilling the Desiderata for Relaxed Memory Models.
Sung-Hwan Lee.
Department of Computer Science and Engineering, Seoul National University, Korea, 2023.
[paper] [project page] - 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 (PLDI 2023).
[paper (with appendix)] [project page] [publisher page] - 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