Showing results 1 to 9 of 9
A Formal C Memory Model Supporting Integer-Pointer Casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.50, no.6, pp.326 - 335, 2015-06 |
A formal C memory model supporting integer-pointer casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp.326 - 335, ACM Special Interest Group on Programming Languages (SIGPLAN), 2015-06-16 |
A promising semantics for relaxed-memory concurrency Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pp.175 - 189, Association for Computing Machinery, 2017-01-18 |
CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoon; Hur, Chung-Kil, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
Crellvm: Verified credible compilation for LLVM Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; et al, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.631 - 645, Association for Computing Machinery, 2018-06-22 |
Lightweight Verification of Separate Compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.51, no.1, pp.178 - 190, 2016-01 |
Lightweight verification of separate compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp.178 - 190, ACM SIGPLAN and SIGACT, 2016-01-20 |
Promising-ARM/RISC-V: A simpler and faster operational concurrency model Pulte, Christopher; Pichon-Pharabod, Jean; Kang, Jeehoon; Lee, Sung-Hwan; Hur, Chung-Kil, 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, pp.1 - 15, Association for Computing Machinery, 2019-06-24 |
Repairing sequential consistency in C/C++11 Lahav, Ori; Vafeiadis, Viktor; Kang, Jeehoon; Hur, Chung-Kil; Dreyer, Derek, 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, pp.618 - 632, Association for Computing Machinery, 2017-06-20 |
Discover