Di Jin

According to our database, Di Jin authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Towards Hybrid Cooperative-Preemptive Scheduling.

Yizheng Xie, Di Jin, Nikos Vasilakis

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

KLean: Extending Operating System Kernels with Lean.

Di Jin, Ethan Lavi, Jinghao Jia, Robert Y. Lewis, Nikos Vasilakis

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

2023

Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps.

Yingjie Xue, Di Jin, Maurice Herlihy

Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023