Meng Xu's Photo
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 Compositional Scheduling Analsyis Project 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 was the Teaching Assistant in the CIS553/TCOM512 Networked Systems Course at Penn in the 2013 spring semester.

Please refer to my Resume for more details about me.

Research Interests:

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

Currently, I am the main maintainer for the CARTS tool and the second maintainer for the RT-Xen project

CARTS tool is a compositional analysis tool for real time system.

RT-Xen is a real time virtualization system that can be used as a test bed for hierarchical scheduling.

Publications: 

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. [slide]
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. Grill. IEEE Real-Time Systems Symposium (RTSS'13), Vancouver, Canada, Dec. 2013. [slide] (Best Paper Nominee)

Awards:

 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.
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 usually play badminton once or twice a week. 
I also like other sports, e.g., table tennis and tennis. 

You are visitor

free url sumission