We stand with Ukraine  

Ye Li

Affiliations:
  • Boston University, MA, USA


According to our database1, Ye Li authored at least 13 papers between 2011 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
A Virtualized Separation Kernel for Mixed-Criticality Systems.
[BibTeX]
[DOI]
Richard West
,
Ye Li
,
Eric S. Missimer
,
Matthew Danish
ACM Trans. Comput. Syst., 2016

2015
Leveraging virtualization technologies for resource partitioning in mixed criticality systems
[BibTeX]
[DOI]
Ye Li
PhD thesis, 2015

Qduino: A Multithreaded Arduino System for Embedded Computing.
[BibTeX]
[DOI]
Zhuoqun Cheng
,
Ye Li
,
Richard West
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Demo abstract: A multithreaded arduino system for embedded computing.
[BibTeX]
[DOI]
Zhuoqun Cheng
,
Ye Li
,
Richard West
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

2014
A virtualized separation kernel for mixed criticality systems.
[BibTeX]
[DOI]
Ye Li
,
Richard West
,
Eric S. Missimer
Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

Predictable Communication and Migration in the Quest-V Separation Kernel.
[BibTeX]
[DOI]
Ye Li
,
Richard West
,
Zhuoqun Cheng
,
Eric S. Missimer
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

COLORIS: a dynamic cache partitioning system using page coloring.
[BibTeX]
[DOI]
Ying Ye
,
Richard West
,
Zhuoqun Cheng
,
Ye Li
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems.
[BibTeX]
[DOI]
Richard West
,
Ye Li
,
Eric S. Missimer
CoRR, 2013

The Quest-V Separation Kernel for Mixed Criticality Systems.
[BibTeX]
[DOI]
Ye Li
,
Richard West
,
Eric S. Missimer
CoRR, 2013

Predictable Migration and Communication in the Quest-V Multikernel.
[BibTeX]
[DOI]
Ye Li
,
Eric S. Missimer
,
Richard West
CoRR, 2013

Real-time USB communication in the Quest operating system.
[BibTeX]
[DOI]
Eric S. Missimer
,
Ye Li
,
Richard West
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

2011
Quest-V: A Virtualized Multikernel for High-Confidence Systems
[BibTeX]
[DOI]
Ye Li
,
Matthew Danish
,
Richard West
CoRR, 2011

Virtual-CPU Scheduling in the Quest Operating System.
[BibTeX]
[DOI]
Matthew Danish
,
Ye Li
,
Richard West
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011


  Loading...