TELOS at ChinaSys 2026

Liujia Li and Kang Hu attended ChinaSys 2026. Liujia Li presented Merlin, and Kang Hu introduced SBB with a poster.

TELOS Wins Runner-Up at the PKU Lab Cup

Congratulations to TELOS on winning runner-up in the Peking University "Lab Cup" basketball tournament.

Graduation Lunch for Zehua and Chuandong

We celebrated the PhD graduation of Zehua Yang and Chuandong Li with a joyful dinner together.

Congratulations to Junyang Zhang on Receiving the Peking University President Scholarship

Congratulations to Junyang Zhang on receiving the Peking University President Scholarship.

Congratulations to Chuandong Li and Zehua Yang on Their PhD Defense

Congratulations to Chuandong Li and Zehua Yang on successfully defending their PhD theses and graduating from TELOS Systems Lab.

Introduction to Formal Verification

An introduction to formal verification and its role in building reliable systems.

TELOS Lunch at Haidilao

The lab gathered at Haidilao for a relaxed lunch together.

Introduction to Coding Agents

An introduction to coding agents and how they can assist software development workflows.

Multilane and Merlin Accepted to OSDI 2026

Multilane and Merlin are accepted to OSDI 2026. Congratulations to Kang Hu, Liujia Li and all.

Select-N Accepted to ICS 2026

Select-N is accepted to ICS 2026. Congratulations to Chenxiang and all.

Cachence Accepted to DAC 26

Cachence is accepted to DAC 26. Congratulations to Liujia Li and all.

Lab Retreat

We held the lab retreat at a vacation villa in Shunyi District. Enjoy yourself!

Congratulations to Chuandong Li on Being Named a Peking University Top Ten Research Talent

Congratulations to Chuandong Li on being named a Peking University Top Ten Research Talent.

CortenMM Wins the SOSP 2025 Best Paper Award

Congratulations to Junyang Zhang and co-authors on CortenMM receiving the SOSP 2025 Best Paper Award.

TELOS at SOSP 2025

TELOS members attended SOSP 2025, where Junyang Zhang presented CortenMM and Chuandong Li presented Aeolia.

Aeolia and CortenMM Accepted to SOSP 2025

Aeolia and CortenMM are accepted to SOSP 2025. Congratulations to Chuandong, Junyang and all.

Scheduler

An in-depth look at OS scheduler design, trade-offs, and modern scheduling techniques.

Rust in Depth

A deep dive into the Rust programming language, exploring ownership, safety, and systems programming.

Introduction to ML Sys

An introduction to machine learning systems, covering key concepts and practical insights.

Introduction to Fuzzing

An introduction to fuzzing techniques and their applications in systems research.

New PhD Students Join TELOS Systems Lab

We are excited to welcome Liheng, Xiangcan, Xiaohe, Yonghao and Zhongwang to the TELOS Systems Lab as new PhD students.

Liren Zhu Gave a Talk at Peking University

Liren Zhu gave a talk at Peking University on the paper "Criticality-Aware Instruction-Centric Bandwidth Partitioning for Data Center Applications."

Liren Zhu Presented at the 27th ChinaSys Workshop

Liren Zhu attended the 27th ChinaSys Workshop and introduced the paper "Criticality-Aware Instruction-Centric Bandwidth Partitioning for Data Center Applications."

Pivot Accepted to HPCA 2025

Pivot is accepted to HPCA 2025. Congratulations to Liren and all.

DistFuzz Accepted to NDSS 2025

DistFuzz is accepted to NDSS 2025. Congratulations to Yonghao and all.

New Students Join TELOS Systems Lab

We are excited to welcome Jiaxun Han, Yi Fan, Jianqiang Zeng, Zhe Tang, Kang Hu and Zonghao Zhang to the TELOS Systems Lab as new students.

New Students Join TELOS Systems Lab

We are excited to welcome Chenxiang Ma and Junyang Zhang to the TELOS Systems Lab as new students.

New Students Join TELOS Systems Lab

We are excited to welcome Liujia Li, Xiran Yang, Yiming Yao and Yangqing Zeng to the TELOS Systems Lab as new students.