My name is Ye Li (李烨). I am a fifth year Ph.D. student here at CS department of BU. My research focuses on Operating System design and implementation, Embedded Systems and anything related to low level C and Assembly programming:-) I am currently part of the System Group and under the supervision of Prof. Richard West.

  • Quest-V

    A virtualized separation kernel that offers efficient spatial and temporal isolation for mixed criticality systems on multi-core platforms.

  • Quest Operating System

    Quest is an Operating System here we developed at BU. The project was initiated by Richard West and Gary Wong and now maintained by Richard, Matthew, Eric and me. You can know more about Quest from its official website and the Github repository.

  • Quest on Galileo

    I am currently also working on porting Quest to Intel Galileo board with Zhuoqun Cheng. This mostly involves adding multiboot kernel support back into the Intel Clanton GRUB legacy for EFI. Some changes to Quest kernel are also necessary for Galileo specific devices.

  • A Lane Tracking Subsystem for RacerX

    This is a project serves both as the driving application for Quest Operating System and partially as the course project of CS585 Imange Video Computing.

  • Ye Li, Richard West, Eric Missimer, A Virtualized Separation Kernel for Mixed Criticality Systems, in Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), Salt Lake City, Utah, March 1-2 2014.[PDF]
  • Ye Li, Richard West, Eric Missimer, The Quest-V Separation Kernel for Mixed Criticality Systems, in Proceedings of the 1st International Workshop on Mixed Criticality Systems (WMC) at the 34th IEEE Real-Time Systems Symposium (RTSS 2013), Vancouver, Canada, December 2013.[PDF]
  • Eric Missimer, Ye Li and Richard West, Real-Time USB Communication in the Quest Operating System, in Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), Philadelphia, USA, April 2013.[PDF]
  • Richard West, Ye Li, Eric Missimer, Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems, Technical Report: arXiv:1310.6349,[PDF]
  • Ye Li, Eric Missimer, Richard West, Predictable Migration and Communication in the Quest-V Multikernel, Technical Report: arXiv:1310.6301,[PDF]
  • Richard West, Ye Li and Eric Missimer, Time Management in the Quest-V RTOS, in the 8th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), Pisa, Italy, July 10, 2012.[PDF]
  • Ye Li, Matthew Danish and Richard West, Quest-V: A Virtualized Multikernel for High-Confidence Systems, Technical Report: arXiv:1112.5136, Also BU Technical Report, 2011-029, Boston University, December 2011.[PDF]
  • Matthew Danish, Ye Li and Richard West. Virtual-CPU Scheduling in the Quest Operating System. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium. Chicago, IL, USA. April 11-14, 2011.[PDF]

I spend most of my spare time listening to classical music and reading. As a loyal audience of Boston Symphony Orchestra, I attend the concert in Symphony Hall whenever I have time. I do like sports, but can rarely play any of them myself these days... I will follow the Premier League and especially Liverpool if it is not always in the morning or afternoon in Boston and so ended up watching some of the Celtics and Red Sox games quite often. I do not have money for fancy cars but still like TopGear quite a lot:-)