공지사항

CSE will be holding a special seminar with outstanding researchers.
Even if you are busy, we hope you will attend and have a special time with outstanding researchers.

· Date & Time : 2025. 1. 15.(Wed), 15:00
· Venue : 104 building, E104
· Speaker: Ph.D. Jaehwang Jung (KAIST)
· Research areas: PL + Compilers
· Talk title: Safe and high-performance concurrent memory reclamation
· Abstract: Memory reclamation for optimistic concurrency in unmanaged programming languages is a challenging problem that poses trade-offs between performance and guaranteeing safety. For example, reference counting provides an easy-to-use safe interface but suffers from performance bottlenecks, whereas manual methods like Hazard Pointers and epoch-based reclamation are highly efficient but prone to usage errors that lead to critical bugs.

In this talk, He will present our recent work on addressing this challenge from two angles. First, He will introduce Concurrent Immediate Reference Counting (CIRC), which achieves both high throughput and ease of use by wrapping the intricacy of fast manual algorithms in a safe interface of reference counting. At the same time, CIRC features immediate recursive reclamation, which is essential for quickly reclaiming linked structures. Second, He will discuss our work on formal verification to enhance confidence in the correctness of performant but difficult manual reclamation methods. Our approach is built on modular specifications using concurrent separation logic, enabling compositional verification