interrupts May 22, 2026 Introduction to Formal Verification An introduction to formal verification and its role in building reliable systems. #TELOS_talks
interrupts May 22, 2026 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. #people #lab #awards
interrupts May 15, 2026 TELOS Lunch at Haidilao The lab gathered at Haidilao for a relaxed lunch together. #people #lab
interrupts May 8, 2026 Introduction to Coding Agents An introduction to coding agents and how they can assist software development workflows. #TELOS_talks
interrupts April 4, 2026 Select-N Accepted to ICS 2026 Select-N is accepted to ICS 2026. Congratulations to Chenxiang and all. #publications #awards
interrupts April 4, 2026 Multilane and Merlin Accepted to OSDI 2026 Multilane and Merlin are accepted to OSDI 2026. Congratulations to Kang Hu, Liujia Li and all. #publications #awards
interrupts February 24, 2026 Cachence Accepted to DAC 26 Cachence is accepted to DAC 26. Congratulations to Liujia Li and all. #publications #awards
interrupts February 7, 2026 Lab Retreat We held the lab retreat at a vacation villa in Shunyi District. Enjoy yourself! #events #lab
interrupts July 1, 2025 Aeolia and CortenMM Accepted to SOSP 2025 Aeolia and CortenMM are accepted to SOSP 2025. Congratulations to Chuandong, Junyang and all. #publications #awards
interrupts June 27, 2025 Scheduler An in-depth look at OS scheduler design, trade-offs, and modern scheduling techniques. #TELOS_talks
interrupts June 13, 2025 Rust in Depth A deep dive into the Rust programming language, exploring ownership, safety, and systems programming. #TELOS_talks
interrupts June 6, 2025 Introduction to ML Sys An introduction to machine learning systems, covering key concepts and practical insights. #TELOS_talks
interrupts May 22, 2025 Introduction to Fuzzing An introduction to fuzzing techniques and their applications in systems research. #TELOS_talks
interrupts May 1, 2025 There will possibly be a spring outing for all TELOS members The destination is still under discussion, but it will be a place with beautiful scenery and rich culture. #events
interrupts January 1, 2025 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. #people #lab
interrupts November 1, 2024 Pivot Accepted to HPCA 2025 Pivot is accepted to HPCA 2025. Congratulations to Liren and all. #publications #awards
interrupts September 1, 2024 DistFuzz Accepted to NDSS 2025 DistFuzz is accepted to NDSS 2025. Congratulations to Yonghao and all. #publications #awards
interrupts January 1, 2024 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. #people #lab
interrupts January 1, 2023 New Students Join TELOS Systems Lab We are excited to welcome Chenxiang Ma and Junyang Zhang to the TELOS Systems Lab as new students. #people #lab
interrupts January 1, 2022 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. #people #lab
