Technical Reports

• ConCRIS: Imaginary Specifications for Fine-grained Concurrency.
  Taeyoung Yoon, Sanghyun Yi, Yonghee Kim, Jaehyung Lee, Yujin Im, Taeyoung Rhee, Seonho Lee, Yeji Han, Chung-Kil Hur.
  SFLab Technical Report SFLab-2025-002, November 2025.
  [paper: pdf]