Volgen
Sung-Hwan Lee
Sung-Hwan Lee
Rebellions Inc.
Geverifieerd e-mailadres voor rebellions.ai - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
572020
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8