Meng Xu

PhD Candidate in Computer and Information Science

Research Assistant at PRECISE lab

University of Pennsylvania

Advisor: Insup Lee and Linh Thi Xuan Phan

Email: mengxu at seas dot upenn dot edu

[Google Scholar] [Curriculum Vitae] [LinkedIn]

Biography

I am a fifth-year Ph.D. student in Computer and Information Science at the University of Pennsylvania. I received the Master of Science in Engineering in Computer and Information Science at the University of Pennsylvania in 2013 and the Bachelor in Software Engineering at Northwestern Polytechnical University in 2011.

I am the core contributor and maintainer of the research projects RT-Xen and CARTS tool
RT-Xen provides real-time performance guarantees for applications and virtual machines in virtualization environment.
CARTS tool is a compositional analysis tool for real-time systems, which can be used to compute the real-time resource requirement for virtual machines in the virtualization environment.

I am also the real-time scheduler (RTDS scheduler) maintainer for the open source Xen Project, which powers many commercial cloud computing platforms.

I like to transfer my research findings into industrial products. As a result, contributed the Real-Time Deferrable Server (RTDS) scheduler to Xen 4.5

Research Interests

My research areas are real-time systems, virtualization systems, and cyber-physical systems. I am especially interested in designing, building, and analyzing timing-critical systems.

News

Publications

  • Cyber-Physical System Checkpointing and Recovery 
    Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky and Insup Lee. 
    9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS' 18), to appear.
    [PDF] [Slide] [BibTex] [Practice talk]
  • Multi-Mode Virtualization for Soft Real-Time Systems 
    Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Chris Gill, Linh Thi Xuan Phan, Insup Lee and Oleg Sokolsky. 
    23th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 18), to appear.
    [PDF] [Slide] [BibTex
  • AutoV: An Automotive Testbed for Real-Time Virtualization 
    Meng Xu and Insup Lee. 
    Second TCRTS Workshop on Certifiable Multicore Avionics and Automotive Systems (CMAAS), Pittsburgh, PA, Apr. 2017.
    [PDF] [Slide] [BibTex
    [Practice talk]
  • vCAT: Dynamic Cache Management using CAT Virtualization
    Meng Xu, Linh T. X. Phan, Hyon-Young Choi, and Insup Lee.
    23th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 17), Pittsburgh, PA, Apr. 2017.
    [PDF] [Slide] [BibTex
    [Practice talk]
  • Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation
    Meng Xu, Linh T. X. Phan, Hyon-Young Choi, and Insup Lee.
    22th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 16), Vienna, Austria, Apr. 2016.
    [PDF] [Technical report][Slide] [BibTex
  • Cache-aware Interfaces for Compositional Real-Time Systems
    Linh T. X. Phan, Meng Xu, and Insup Lee. 

    8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, San Antonio, TX, Dec. 2015. (Invited paper)
    [PDF] [BibTex]
  • RT-OpenStack: CPU Resource Management for Real-Time Cloud Computing
  • Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T.X. Phan, Insup Lee and Oleg Sokolsky.
    8th IEEE International Conference on Cloud Computing (IEEE CLOUD), New York, USA, Jun. 2015
    [PDF] [BibTex]
  • Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms
  • Meng Xu, Linh T.X. Phan, Oleg Sokolsky, Sisu Xi, Chenyang. Lu and Christopher D. Gill, Insup Lee.
    Real-Time Systems Journal, 2015
    [PDF] [BibTex]
  • Real-Time Multi-Core Virtual Machine Scheduling in Xen
  • Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Chris Gill, Oleg Sokolsky, and Insup Lee.
    14th ACM International Conference on Embedded Software (EMSOFT' 14), New Delhi, India, Oct. 2014.
    [PDF] [BibTex]
  • Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms
  • Meng Xu, Linh T.X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang. Lu and Christopher D. Gill.
    IEEE Real-Time Systems Symposium (RTSS' 13), Vancouver, Canada, Dec. 2013. (Best Paper Nominee)
    [PDF] [Technical report] [Slide] [BibTex]
  • Overhead-Aware Compositional Analysis of Real-Time Systems
    Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee and Oleg Sokolsky.
    19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 13), Philadelphia, PA, Apr. 2013.
    [PDF[Slide] [BibTex]

Technical Reports

  • Shared Cache Management Techniques
    Meng Xu. 
    Written Preliminary Exam II Report, University of Pennsylvania, Philadelphia, PA, Jan. 2017.
    [PDF] [BibTex]

Talks

  • RT-Xen: Beyond Scheduling,  Xen Developer Summit, Seattle, Aug. 2015. 
  • [Slide[Talk]
  • RT-Xen: Real-Time Virtualization in Xen,  VMware, May, 2015. 
  • RT-Xen: Real-Time Virtualization in Xen,  Xen Developer Summit, Chicago, Aug. 2014. 
  • [Slide]

    Teaching Experiences

    I am the Teaching Assistant for the following courses at the University of Pennsylvania:

    Awards

     Graduate Fellowship from University of Pennsylvania  2013 - present
     Champion in the F1/10 competition at ES week 2016  2016
     CPS Week 2016 Travel Grant  2016
     Outstanding Undergraduate Student in Shaanxi Province  2011
     Computer World Scholarship   2011
     Baosteel Scholarship  2010
     National Scholarship  2009, 2010
     Outstanding Undergraduate in Research and Innovation of NPU   2010
     First-Grade Scholarship of NPU  2008, 2009,2010
     7720 Diligence Scholarship awarded by NPU  2008

    Professional Services

    • Maintainer of Xen Project (2015 - present).
    • Journal Reviewer: Journal of Systems & Software (2015).
    • Conference Reviewers:  RTSS (2012 - 2016),  RTAS (2012, 2016), EMSOFT (2014 - 2016), DATE (2014), RTCSA (2014 - 2015),  RV (2014), ICCPS (2013),  SIES (2013), ICCAD (2012), ICFEM (2012).
    • Workshop Reviewers: SMARTCOMP (2017), EWiLi (2016).
    • Volunteer: RTAS 2013.

    Hobbies

    I like playing badminton. I am currently a member of the competitive team at Penn Badminton Club. I was in our college's non-professional badminton team for four years in undergraduate. Our team won the third place twice among 16 colleges and I played for singles men and doubles men. 
    I am also into the group exercise at Penn's gym. 
    I also like other sports, such as table tennis, and the outdoor activities, such as hiking.
    3