 |
Meng Xu |
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, I 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
- [News] Meng defended his thesis proposal Cache-Aware Real-Time Virtualization in January 2018.
- [News] Two papers are accepted in CPSWeek 2018.
- [News] We won the first place in the F1/10 autonomous racing competition at ES week 2016. [video]
- [News] Even-driven RTDS scheduler is released in Xen 4.7.
- [News] Meng is elected as Xen RTDS scheduler maintainer.
- [News] RT-Xen 2.2, based on Xen 4.6, is released.
- [News] Meng finished the internship at the Office of the CTO in VMware Inc.
- [News] RTDS scheduler is released as an experimental feature in Xen 4.5
- [Patch] Global Preemptive EDF scheduler is committed to Xen repository as RTDS real-time scheduler
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]
- 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]
Teaching Experiences
I am the Teaching Assistant for the following courses at the University of Pennsylvania:
- CIS553/TCOM512 Networked Systems, 2012
- CIS541 /401 Embedded Software for Life-Critical Applications, 2013, 2014, 2017
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.