( en | de | ru )

 

Disambiguation of "Kang, Jeehoon"

Author of the publication

copydeleteadd this publication to your clipboard
Repairing sequential consistency in C/C++11.

, , , , and . PLDI, page 618-632. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mujin Kang

Kang Teng

Ewha Kang

Mihyun Kang

Namhi Kang

 

Other publications of authors with the same name

Simuliris: a separation logic framework for verifying concurrent program optimizations., , , , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8., , , and . PLDI, page 16-31. ACM, (2021)Memento: A Framework for Detectable Recoverability in Persistent Memory., , , and . Proc. ACM Program. Lang., 7 (PLDI): 292-317 (2023)Stacked borrows: an aliasing model for Rust., , , and . Proc. ACM Program. Lang., 4 (POPL): 41:1-41:32 (2020)Forecasting Obsolescence of Components by Using a Clustering-Based Hybrid Machine-Learning Algorithm., , , , , and . Sensors, 22 (9): 3244 (2022)Compass: strong and compositional library specifications in relaxed memory separation logic., , , , , , and . PLDI, page 792-808. ACM, (2022)Applying Hazard Pointers to More Concurrent Data Structures., , , and . SPAA, page 213-226. ACM, (2023)A marriage of pointer- and epoch-based reclamation., and . PLDI, page 314-328. ACM, (2020)Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic., , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 828-856 (October 2023)Practical Detectability for Persistent Lock-Free Data Structures., , and . CoRR, (2022)