Sung-Hwan Lee (이성환)
I am a compiler engineer at Rebellions, working on developing an AI compiler for Rebellions AI chips. Before that, I received a Ph.D. in Computer Science and Engineering from Seoul National University, advised by Chung-Kil Hur. My Ph.D. research aimed at building formal foundations for writing, compiling, and verifying concurrent software under weak consistency.sunghwan.lee [at] rebellions.ai
cv | google scholar | dblp | github
Publications
* equal contribution- 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
Ph.D. in Computer Science and Engineering
Advisor: Chung-Kil Hur
Thesis: Understanding and Fulfilling the Desiderata for Relaxed Memory Models - Seoul National University, Mar. 2013 - Aug. 2017
B.S. in Computer Science and Engineering - Seoul Science High School, Mar. 2010 - Feb. 2013
Experience
- Nov. 2023 - Current, Compiler Engineer, Rebellions Inc.
- Sep. 2023 - Oct. 2023, Postdoctoral Researcher, Seoul National University
Honors and Awards
- Aug. 2023, SNU CSE PhD Dissertation Award, Department of Computer Science and Engineering, Seoul National University
- Mar. 2023, Star Student Researcher Award, BK21 FOUR Intelligence Computing, Seoul National University
- Mar. 2013 - Aug. 2017, The Presidential Science Scholarship, Korea Student Aid Foundation