Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sung-Hwan Lee 0001

이성환

> Home > Persons

Person information

unicode name: 이성환
affiliation: Seoul National University, Software Foundations Lab, South Korea

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/0001CMHL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/0001CMHL23
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): 1872-1895 (2023)
2022
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChoLLHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChoLLHL22
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav:
Sequential reasoning for optimizing compilers under weak memory concurrency. PLDI 2022: 213-228
2021
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChoLRK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChoLRK21
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang:
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. PLDI 2021: 16-31
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChoLHL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChoLHL21
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav:
Modular data-race-freedom guarantees in the promising semantics. PLDI 2021: 867-882
2020
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LeeCPCHLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LeeCPCHLV20
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis:
Promising 2.0: global optimizations in relaxed memory concurrency. PLDI 2020: 362-376

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PultePKLH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PultePKLH19
Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur:
Promising-ARM/RISC-V: a simpler and faster operational concurrency model. PLDI 2019: 1-15

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.