I moved to Rebellions after receiving a Ph.D.
This page is no longer updated.
Please visit my website for up-to-date information.
(Ph.D. Thesis) Understanding and Fulfilling the Desiderata for Relaxed Memory Models. Sung-Hwan Lee.
Department of Computer Science and Engineering, Seoul National University, Korea, 2023.
Revamping Hardware Persistency Models: View-based and Axiomatic Persistency Models for Intel-x86 and ARMv8. Kyeongmin Cho,
Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021).