Registered user since Tue 19 May 2020
Name:Sung-Hwan Lee
Country:South Korea
Affiliation:Seoul National University
Personal website:https://sunghwanl.github.io/
GitHub:https://github.com/sunghwanl
Research interests:concurrency, relaxed memory models, verification, programming languages
Contributions
| PLDI 2023 | Putting Weak Memory in Order via a Promising Intermediate Representation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile