conf.researchr.org / Janggun Lee
Registered user since Wed 23 Jun 2021
Name:Janggun Lee
Contributions
2025
PLDI
- Author of Verifying Lock-Free Traversals in Relaxed Memory Separation Logic within the PLDI Research Papers-track
- Author of Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals within the PLDI Research Papers-track
- Author of Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic within the PLDI Research Papers-track