Follow
Sung-Hwan Lee
Sung-Hwan Lee
Rebellions Inc.
Verified email at rebellions.ai - Homepage
Title
Cited by
Cited by
Year
Promising 2.0: global optimizations in relaxed memory concurrency
SH Lee, M Cho, A Podkopaev, S Chakraborty, CK Hur, O Lahav, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
502020
Promising-ARM/RISC-V: a simpler and faster operational concurrency model
C Pulte, J Pichon-Pharabod, J Kang, SH Lee, CK Hur
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
482019
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8
K Cho, SH Lee, A Raad, J Kang
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
202021
Modular data-race-freedom guarantees in the promising semantics
M Cho, SH Lee, CK Hur, O Lahav
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
122021
Sequential reasoning for optimizing compilers under weak memory concurrency
M Cho, SH Lee, D Lee, CK Hur, O Lahav
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
42022
Illuminance during a solar eclipse with limb darkening: a mathematical model
SH Lee, S Lee
Journal of the Korean Astronomical Society 45 (5), 111-116, 2012
32012
Putting Weak Memory in Order via a Promising Intermediate Representation
SH Lee, M Cho, R Margalit, CK Hur, O Lahav
Proceedings of the ACM on Programming Languages 7 (PLDI), 1872-1895, 2023
22023
Understanding and Fulfilling the Desiderata for Relaxed Memory Models
SH Lee
2023
The system can't perform the operation now. Try again later.
Articles 1–8