TELOS Systems Lab
TELOS Systems Lab
Software stack
I/O outputs
Scheduled tasks
Physical address
File system
Networking connection
Power supply
Paper-Conference
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
A new Rust OS architecture that acheives both memory safety, efficiency and Linux compatibility.
Yuke Peng
,
Hongliang Tian
,
Junyang Zhang
,
Ruihan Li
,
Chengjun Chen
,
Jianfeng Jiang
,
Jinyi Xian
,
Yingwei Luo
,
Xiaolin Wang
,
Chenren Xu
,
Diyu Zhou
,
Shoumeng Yan
,
Yinqian Zhang
Cite
Code
Criticality-Aware Instruction-Centric Bandwidth Partitioning for Data Center Applications
To reduce operational costs, modern data centers co-locate high-priority latency-critical (LC) tasks and low-priority best-effort (BE) …
Liren Zhu
,
Liujia Li
,
Jianyu Wu
,
Yiming Yao
,
Zhan Shi
,
Jie Zhang
,
Zhenlin Wang
,
Xiaolin Wang
,
Yingwei Luo
,
Diyu Zhou
PDF
Cite
Code
Slides
Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
This paper presents DistFuzz, which, to our knowledge, is the first feedback-guided blackbox fuzzing framework for distributed systems. …
Yonghao Zou
,
Jia-Ju Bai
,
Zu-Ming Jiang
,
Ming Zhao
,
Diyu Zhou
PDF
Cite
Code
Video
EKRM: Efficient Key-Value Retrieval Method to Reduce Data Lookup Overhead for Redis
As an open-source key-value system, Redis has been widely used in internet service stations. A key-value lookup in Redis usually …
Yiming Yao
,
Xiaolin Wang
,
Diyu Zhou
,
Liujia Li
,
Jianyu Wu
,
Liren Zhu
,
Zhenlin Wang
,
Yingwei Luo
PDF
Cite
Taming Hot Bloat Under Virtualization with HUGESCOPE
Huge pages are effective in reducing the address translation overhead under virtualization. However, huge pages suffer from the hot …
Chuandong Li
,
Sai Sha
,
Yangqing Zeng
,
Xiran Yang
,
Yingwei Luo
,
Xiaolin Wang
,
Zhenlin Wang
,
Diyu Zhou
PDF
Cite
Code
Video
FLORIA: A Fast and Featherlight Approach for Predicting Cache Performance
The cache Miss Ratio Curve (MRC) serves a variety of purposes such as cache partitioning, application profiling and code tuning. In …
Jun Xiao
,
Yaocheng Xiang
,
Xiaolin Wang
,
Yingwei Luo
,
Andy Pimentel
,
Zhenlin Wang
PDF
Cite
vTMM: Tiered Memory Management for Virtual Machines
The memory demand of virtual machines (VMs) is increasing, while the traditional DRAM-only memory system has limited capacity and high …
Sai Sha
,
Chuandong Li
,
Yingwei Luo
,
Xiaolin Wang
,
Zhenlin Wang
PDF
Cite
M3: A Multi-View Fusion and Multi-Decoding Network for Multi-Document Reading Comprehension
Multi-document reading comprehension task requires collecting evidences from different documents for answering questions. Previous …
Liang Wen
,
Houfeng Wang
,
Yingwei Luo
,
Xiaolin Wang
PDF
Cite
Graph Neural Networks Based Memory Inefficiency Detection Using Selective Sampling
Production software of data centers oftentimes suffers from unnecessary memory inefficiencies caused by inappropriate use of data …
Pengcheng Li
,
Yixin Guo
,
Yingwei Luo
,
Xiaolin Wang
,
Zhenlin Wang
,
Xu Liu
PDF
Cite
Original Content Is All You Need! an Empirical Study on Leveraging Answer Summary for WikiHowQA Answer Selection Task
Answer selection task requires finding appropriate answers to questions from informative but crowdsourced candidates. A key factor …
Liang Wen
,
Juan Li
,
Houfeng Wang
,
Yingwei Luo
,
Xiaolin Wang
,
Xiaodong Zhang
,
Zhicong Cheng
,
Dawei Yin
PDF
Cite
»
Cite
×