Travelled to:1 × USA
Collaborated with:C.Hur D.Dreyer V.Vafeiadis O.Lahav Yoonseung Kim Youngju Song Yonghyun Kim R.J.0002 Hoang-Hai Dang Christopher Pulte J.Pichon-Pharabod Sung Hwan Lee W.Mansky D.Garbuzov S.Zdancewic M.Cho Dongjoo Kim J.Lee Sanghoon Park Mark Dongyeon Shin S.Cho Joonwon Choi K.Yi
Talks about:model (3) lightweight (2) concurr (2) promis (2) memori (2) compil (2) verif (2) comp (2) cert (2) sequenti (1)
Person: Jeehoon Kang
DBLP: Kang:Jeehoon
Contributed to:
2015
201620172017201820192020Wrote 8 papers:
- PLDI-2015-KangHMGZV #c #memory management
- A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
- POPL-2016-KangKHDV #compilation #lightweight #verification
- Lightweight verification of separate compilation (JK, YK, CKH, DD, VV), pp. 178–190.
- PLDI-2017-LahavVKHD #consistency
- Repairing sequential consistency in C/C++11 (OL, VV, JK, CKH, DD), pp. 618–632.
- POPL-2017-KangHLVD #concurrent #semantics
- A promising semantics for relaxed-memory concurrency (JK, CKH, OL, VV, DD), pp. 175–189.
- PLDI-2018-KangKSLPSKCCHY #compilation #named
- Crellvm: verified credible compilation for LLVM (JK, YK, YS, JL, SP, MDS, YK, SC, JC, CKH, KY), pp. 631–645.
- PLDI-2019-PultePKLH #concurrent #named #performance
- Promising-ARM/RISC-V: a simpler and faster operational concurrency model (CP, JPP, JK, SHL, CKH), pp. 1–15.
- POPL-2020-JungDKD #alias #rust
- Stacked borrows: an aliasing model for Rust (RJ0, HHD, JK, DD), p. 32.
- POPL-2020-SongCKKKH #composition #lightweight #named #verification
- CompCertM: CompCert with C-assembly linking and lightweight modular verification (YS, MC, DK, YK, JK, CKH), p. 31.