M.S. 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 4165
Address: Room 312-2, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)
Education
- Sep. 2017 - Current, M.S. 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 Interext
- Relaxed Memory Concurrency
- Software Verification
Publications
-
Promising-ARM/RISC-V: a simpler and faster operational concurrency model.
Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur.
To appear in Proceedings of the 40th annual ACM SIGPLAN conference on Programming Languages Design and Implementation (PLDI 2019). (conditionally accepted)
[project page] -
Illuminance During a Solar Eclipse: A Mathematicsl Model.
Sung-Hwan Lee, Siyul Lee.
In Journal of the Korean Astronomical Society vol. 45 no. 5, October 2012.
[paper]
Teaching
- TA, Principles of Programming, 2018 Fall (Prof. Chung-Kil Hur)
- TA, Principles and Practices of Software Development, 2018 Spring (Prof. Chung-Kil Hur)