팔로우
Sung-Hwan Lee
Sung-Hwan Lee
Rebellions Inc.
rebellions.ai의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
542020
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
502019
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
242021
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
152021
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
52022
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
42012
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
Seoul National University, 2023
2023
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–8