Concepedia

Sung-Hwan Lee

SL

5

Publications

132

Citations

5

H-Index

2019

Active since

Affiliations

Seoul National University(Current)

Tel Aviv University

Korea Advanced Institute of Science and Technology

Sung-Hwan Lee is an author at Seoul National University specializing in formal methods, formal verification, and parallel computing.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisParallel ComputingFormal VerificationComputer ArchitectureProgram AnalysisParallel ProgrammingCompilers

Publications per year

2019–2022

5

Publications

5

Promising 2.0: global optimizations in relaxed memory concurrency

Sung-Hwan Lee, Minki Cho, Anton Podkopaev et al. · 2020 · 46 citations · Full text

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

Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang et al. · 2019 · 40 citations · Full text

Engineering, Concurrency Models, Verification +20

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

Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad et al. · 2021 · 21 citations · Full text

Non-volatile Memory, Hardware Modeling, Engineering +20

Modular data-race-freedom guarantees in the promising semantics

Minki Cho, Sung-Hwan Lee, Chung-Kil Hur et al. · 2021 · 14 citations

Engineering, Compiler Technology, Computer Architecture +22

Sequential reasoning for optimizing compilers under weak memory concurrency

Minki Cho, Sung-Hwan Lee, Dongjae Lee et al. · 2022 · 11 citations · Full text

Engineering, Compiler Technology, Computer Architecture +17

Rows per page

1–5 of 5