Sung-Hwan Lee

According to our database, Sung-Hwan Lee authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Putting Weak Memory in Order via a Promising Intermediate Representation.

Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav

Proc. ACM Program. Lang., 2023

2022

Sequential reasoning for optimizing compilers under weak memory concurrency.

Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.

Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Modular data-race-freedom guarantees in the promising semantics.

Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Promising 2.0: global optimizations in relaxed memory concurrency.

Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Promising-ARM/RISC-V: a simpler and faster operational concurrency model.

Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019