BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kang:Jeehoon

Contributed to:

PLDI 20152015
POPL 20162016
PLDI 20172017
POPL 20172017
PLDI 20182018
PLDI 20192019
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.