Ye Li

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 3

Top Topics

Mutual Exclusion

Operating System

Top Venues

IEEE Real-Time and Embedded Technology and Applications Symposium

Publications

Richard West, Ye Li, Eric S. Missimer, Matthew Danish
A Virtualized Separation Kernel for Mixed-Criticality Systems. ACM Trans. Comput. Syst. 34 (3) (2016)
Zhuoqun Cheng, Ye Li, Richard West
Qduino: A Multithreaded Arduino System for Embedded Computing. RTSS (2015)
Zhuoqun Cheng, Ye Li, Richard West
Demo abstract: A multithreaded arduino system for embedded computing. RTAS (2015)
Ye Li, Richard West, Zhuoqun Cheng, Eric S. Missimer
Predictable Communication and Migration in the Quest-V Separation Kernel. RTSS (2014)
Ye Li, Richard West, Eric S. Missimer
A virtualized separation kernel for mixed criticality systems. VEE (2014)
Ying Ye, Richard West, Zhuoqun Cheng, Ye Li
COLORIS: a dynamic cache partitioning system using page coloring. PACT (2014)
Ye Li, Richard West, Eric S. Missimer
The Quest-V Separation Kernel for Mixed Criticality Systems. CoRR (2013)
Eric S. Missimer, Ye Li, Richard West
Real-time USB communication in the Quest operating system. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Richard West, Ye Li, Eric S. Missimer
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems. CoRR (2013)
Ye Li, Eric S. Missimer, Richard West
Predictable Migration and Communication in the Quest-V Multikernel. CoRR (2013)
Matthew Danish, Ye Li, Richard West
Virtual-CPU Scheduling in the Quest Operating System. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
Ye Li, Matthew Danish, Richard West
Quest-V: A Virtualized Multikernel for High-Confidence Systems CoRR (2011)