Sung-Hwan Lee
Title
Cited by
Cited by
Year
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
232019
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
122020
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
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
2021
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
2021
The system can't perform the operation now. Try again later.
Articles 1–5