Ph.D. Student
Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University
Email: sunghwan.lee (at) sf.snu.ac.kr
Tel: +82 (0)2 880 1865
Address: Room 312-2, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)
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
Research Interests
- Relaxed Memory Concurrency
- Persistent (Non-Volatile) Memory
- Software Verification
Publications
-
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).
[paper] [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, October 2012.
[paper] [publisher page]
Teaching
- TA, Principles and Practices of Software Development, 2018 Spring, 2019 Spring, 2020 Spring, 2021 Spring (Prof. Chung-Kil Hur)
- TA, Principles of Programming, 2018 Fall (Prof. Chung-Kil Hur)