Sung-Hwan Lee (이성환)
Ph.D. in Computer Science and Engineering
Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University
I moved to Rebellions after receiving a Ph.D. This page is no longer updated. Please visit my website for up-to-date information.
Publications
-
(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.
[thesis] [project page] -
Putting Weak Memory in Order via a Promising Intermediate Representation.
Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav.
Proceedings of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023).
[paper] [project page] -
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 - Aug. 2023, Ph.D., 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