Sung-Hwan Lee (이성환)

I am a compiler engineer at Rebellions, where I design and build compilers for Rebellions AI chips. I received my Ph.D. in Computer Science and Engineering from Seoul National University, advised by Prof. Chung-Kil Hur. My research focused on building formal foundations for writing, compiling, and verifying concurrent software under weak consistency.

sunghwan.lee [at] rebellions.ai

cv   |  google scholar   |  dblp   |  github

Publications

• VeriRT: An End-To-End Verification Framework for Real-Time Distributed Systems.
  Yoonseung Kim, Sung-Hwan Lee, Yonghyun Kim, Chung-Kil Hur.
  ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025).
  [project page] [publisher page]
• 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