Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps. - Yingjie Xue; Di Jin 004; Maurice Herlihy (ICDCN, 2023)

KLean: Extending Operating System Kernels with Lean. - Di Jin 004; Ethan Lavi; Jinghao Jia; Robert Y. Lewis; Nikos Vasilakis (PLOS@SOSP, 2025)

Towards Hybrid Cooperative-Preemptive Scheduling. - Yizheng Xie; Di Jin 004; Nikos Vasilakis (PLOS@SOSP, 2025)