Search

TELOS Systems Lab

TELOS Systems Lab

Software stack
I/O outputs
Scheduled tasks
Physical address
File system
Networking connection
Power supply

Huashan Yu

Latest

CortenMM: Efficient Memory Management with Strong Correctness Guarantees

© 2025 TELOS. This work is licensed under CC BY NC ND 4.0 and made by TELOS, especially by Yonghao Zou, Jianqiang Zeng, and Yiming Yao.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite