Jeehoon Kang

According to our database1, Jeehoon Kang authored at least 12 papers between 2012 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
CompCertM: CompCert with C-assembly linking and lightweight modular verification.
Proc. ACM Program. Lang., 2020

Stacked borrows: an aliasing model for Rust.
Proc. ACM Program. Lang., 2020

A marriage of pointer- and epoch-based reclamation.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

Promising-ARM/RISC-V: a simpler and faster operational concurrency model.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Crellvm: verified credible compilation for LLVM.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
A promising semantics for relaxed-memory concurrency.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Repairing sequential consistency in C/C++11.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Lightweight verification of separate compilation.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015
A formal C memory model supporting integer-pointer casts.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Global Sparse Analysis Framework.
ACM Trans. Program. Lang. Syst., 2014

2012
A Dice Rolling Game on a Set of Tori.
Electron. J. Comb., 2012


  Loading...