#TELOS_talks
- Introduction to Formal Verification
- Introduction to Coding Agents
- Scheduler
- Rust in Depth
- Introduction to ML Sys
- Introduction to Fuzzing
#awards
- Threadlet Accepted to SOSP 2026
- Thank-You Lunch for Chuandong Li and Zehua Yang
- Jinhao Guo's Undergraduate Thesis Named an Outstanding Thesis of Peking University
- Chuandong Li's PhD Thesis Named an Outstanding Doctoral Dissertation Award of Peking University
- TELOS Wins Runner-Up at the PKU Lab Cup
- Graduation Lunch for Zehua and Chuandong
- Congratulations to Junyang Zhang on Receiving the Peking University President Scholarship
- Congratulations to Chuandong Li and Zehua Yang on Their PhD Defense
- Select-N Accepted to ICS 2026
- Multilane and Merlin Accepted to OSDI 2026
- Cachence Accepted to DAC 26
- Congratulations to Chuandong Li on Being Named a Peking University Top Ten Research Talent
- CortenMM Wins the SOSP 2025 Best Paper Award
- Aeolia and CortenMM Accepted to SOSP 2025
- Pivot Accepted to HPCA 2025
- DistFuzz Accepted to NDSS 2025
#events
- TELOS Wins Runner-Up at the PKU Lab Cup
- TELOS at ChinaSys 2026
- Lab Retreat
- TELOS at SOSP 2025
- There will possibly be a spring outing for all TELOS members
- Liren Zhu Presented at the 27th ChinaSys Workshop
#lab
- Thank-You Lunch for Chuandong Li and Zehua Yang
- TELOS Wins Runner-Up at the PKU Lab Cup
- TELOS at ChinaSys 2026
- Graduation Lunch for Zehua and Chuandong
- Congratulations to Chuandong Li and Zehua Yang on Their PhD Defense
- TELOS Lunch at Haidilao
- Lab Retreat
- TELOS at SOSP 2025
- New PhD Students Join TELOS Systems Lab
- New Students Join TELOS Systems Lab
- New Students Join TELOS Systems Lab
- New Students Join TELOS Systems Lab
#people
- Thank-You Lunch for Chuandong Li and Zehua Yang
- Jinhao Guo's Undergraduate Thesis Named an Outstanding Thesis of Peking University
- Chuandong Li's PhD Thesis Named an Outstanding Doctoral Dissertation Award of Peking University
- Graduation Lunch for Zehua and Chuandong
- Congratulations to Junyang Zhang on Receiving the Peking University President Scholarship
- Congratulations to Chuandong Li and Zehua Yang on Their PhD Defense
- TELOS Lunch at Haidilao
- Congratulations to Chuandong Li on Being Named a Peking University Top Ten Research Talent
- New PhD Students Join TELOS Systems Lab
- New Students Join TELOS Systems Lab
- New Students Join TELOS Systems Lab
- New Students Join TELOS Systems Lab
#publications
- Threadlet Accepted to SOSP 2026
- TELOS at ChinaSys 2026
- Select-N Accepted to ICS 2026
- Multilane and Merlin Accepted to OSDI 2026
- Cachence Accepted to DAC 26
- TELOS at SOSP 2025
- CortenMM Wins the SOSP 2025 Best Paper Award
- Aeolia and CortenMM Accepted to SOSP 2025
- Liren Zhu Presented at the 27th ChinaSys Workshop
- Liren Zhu Gave a Talk at Peking University
- Pivot Accepted to HPCA 2025
- DistFuzz Accepted to NDSS 2025
#talks