Jaehwang Jung

Orcid: 0000-0001-8826-6177

According to our database1, Jaehwang Jung authored at least 10 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
2
1
1
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic.
Proc. ACM Program. Lang., 2024

Concurrent Immediate Reference Counting.
Proc. ACM Program. Lang., 2024

Expediting Hazard Pointers with Bounded RCU Critical Sections.
Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024

Concurrent Immediate Reference Counting (Abstract).
Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

Blind Image Deblurring with Noise-Robust Kernel Estimation.
Proceedings of the Computer Vision - ECCV 2024, 2024

2023
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
Proc. ACM Program. Lang., October, 2023

Applying Hazard Pointers to More Concurrent Data Structures.
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

2022
Compass: strong and compositional library specifications in relaxed memory separation logic.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

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

2013
Quantitative Phase Imaging Techniques for the Study of Cell Pathophysiology: From Principles to Applications.
Sensors, 2013


  Loading...