Browse "CS-Conference Papers(학술회의논문)" by Author Jung, Jaehwang

Showing results 1 to 3 of 3

1
A Marriage of Pointer- and Epoch-Based Reclamation

Kang, Jeehoon; Jung, Jaehwang, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020, pp.314 - 328, Association for Computing Machinery, 2020-06-17

2
Applying Hazard Pointers to More Concurrent Data Structures

Jung, Jaehwang; Lee, Janggun; Kim, Jeonghyeon; Kang, Jeehoon, 35th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2023, pp.213 - 226, ACM, 2023-06-17

3
Compass: strong and compositional library specifications in relaxed memory separation logic

Dang, Hoang-Hai; Jung, Jaehwang; Choi, Jaemin; Nguyen, Duc-Than; Mansky, William; Kang, Jeehoon; Dreyer, Derek, 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022, pp.792 - 808, ACM, 2022-06-17

Discover

rss_1.0 rss_2.0 atom_1.0