Sung-Hwan Lee

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Reasoning Process

Case Based Reasoner

Intermediate Representation

Top Venues

Proc. ACM Program. Lang.

Publications

Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Putting Weak Memory in Order via a Promising Intermediate Representation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Sequential reasoning for optimizing compilers under weak memory concurrency. PLDI (2022)