Ph.D. Student
Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University
I am a Ph.D. student in the Software Foundations Lab. 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 the area of programming languages, relaxed memory concurrency, and software verification. In particular, I am mainly interested in building formal foundations for writing, compiling, and verifying concurrent software under weakly consistent shared-memory. To this end, I have been working on designing relaxed memory models for programming languages and hardware architectures (Promising 2.0, Promising-ARM, PMEM), developing reasoning principles for validating and verifying compiler optimizations under weak memory (SEQ), and studying fundamental programmability guarantees in relaxed memory concurrency (Local DRF).
Email: sunghwan.lee (at) sf.snu.ac.kr
Publications
-
Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency.
Minki Cho*, Sung-Hwan Lee*, Dongjae Lee, Chung-Kil Hur, Ori Lahav.
* The first two authors contributed equally to this work.
Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
[paper] [project 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.
Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021).
[project page] -
Modular Data-Race-Freedom Guarantees in the Promising Semantics.
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav.
Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021).
[paper] [project 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.
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020).
[paper] [project 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.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019).
[paper] [project 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
- Sep. 2017 - Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
- Mar. 2013 - Aug. 2017, B.S., Computer Science and Engineering, Seoul National University
- Mar. 2010 - Feb. 2013, Seoul Science High School
Teaching
-
TA, Principles and Practices of Software Development (Prof. Chung-Kil Hur)
- 2018 Spring, 2019 Spring, 2020 Spring, 2021 Spring, 2022 Spring
-
TA, Principles of Programming (Prof. Chung-Kil Hur)
- 2018 Fall