Seguir
Sung-Hwan Lee
Sung-Hwan Lee
Rebellions Inc.
Dirección de correo verificada de rebellions.ai - Página principal
Título
Citado por
Citado por
Año
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
622020
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
622019
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
362021
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
182021
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
112022
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
52023
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
Understanding and Fulfilling the Desiderata for Relaxed Memory Models
SH Lee
Seoul National University, 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–8