3 papers
cs.PL2026
KernelScript: Cross-Boundary Typed DSL for eBPF Applications
Cong Wang, Siyuan Sun, Yusheng Zheng
eBPF lets developers extend Linux with custom packet processing, tracing, and scheduling logic, and a verifier proves before execution that the code will not crash the kernel. The…
cs.CR2026
TeeDAO: A Decentralized Autonomous Organization for Heterogeneous TEEs
Pinshen Xu, Wentao Dong, Guoxing Chen +3
Trusted Execution Environments (TEEs) have emerged as a critical technology for safeguarding sensitive data and ensuring code integrity in modern computing systems. However, relyin…
cs.OS2026
DAXFS: A Lock-Free Shared Filesystem for CXL Disaggregated Memory
Cong Wang, Yiwei Yang, Yusheng Zheng
CXL (Compute Express Link) enables multiple hosts to share byte-addressable memory with hardware cache coherence, but no existing filesystem exploits this for lock-free multi-host…