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

Biography

I am a PhD Candidate in Computer and Information Science at Penn. I have been working as the Research Assistant in the PRECISE lab since Feb. 2012. 
I received the Master of Scinece in Engineering in Computer and Information Science at University of Pennsylvania in May 2013 and the Bachelor in Software Engineering at Northwestern Polytechnical University in July 2011.

I'm the main maintainer of the research projects RT-Xen and CARTS tool
RT-Xen aims to provide real-time performance guarantee for applications 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 virtualization environment.

I'm also the maintainer in the leading open source virtualization platform Xen Project, maintaining the real-time scheduler (RTDS) in Xen. 
Beyond research, I also like to push my research findings to industrial product. As a result, I contributed the Real-Time Deferrable Server (RTDS) scheduler to Xen 4.5 

I was the Teaching Assistant for the following courses:
  • CIS553/TCOM512 Networked Systems Course in 2013 spring semester.
  • CIS541 /401  Embedded Software for Life-Critical Applications in 2013 fall semester and 2014 fall semester.

Possible RA position in PRECISE lab:
If you are a Penn student and you want to do some system work (such as implement/upstream new features for Linux/Xen or implement an embedded systems) in our lab, please don't hesitate to send me an email (with your CV). Our lab may have a position for you. 

News:

Research Interests:

Cyber Physical Systems; Real Time Virtualization; Real Time Systems; Embedded Systems.

Publications: 

  • 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)

Talks: 

    Awards: 

     Graduate Fellowship from University of Pennsylvania  2013 - present
     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

    Academic Activities:

    External Reviewer, IEEE Real-Time Systems Symposium (RTSS) 2012, 2013.
    External Reviewer, International Conference on Computer-Aided Design (ICCAD) 2012.
    External Reviewer, International Conference on Formal Engineering Methods (ICFEM) 2012.
    External Reviewer, ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS) 2013.
    External Reviewer, 8th IEEE International Symposium on Industrial Embedded Systems (SIES) 2013.
    Volunteer, CPSWeek 2013.

    Hobbies:

    I like playing badminton. I was in our college badminton team for four years in undergraduate. Now I am into the group exercise at Penn's gym. 
    I also like other sports, e.g., table tennis and tennis.