 |
Linh Thi Xuan PHAN
Associate Professor
University of Pennsylvania Computer and Information Science Department Levine 576 3330 Walnut Street, Philadelphia, PA 19104-6389 Phone: +1 (215) 898-2012 Email: linhphan AT cis.upenn.edu [Curriculum vitae] |
-
My research interests include real-time, embedded systems, cyber-physical systems (CPS),
distributed systems, and security. I am especially interested in theoretical foundations
and systems techniques for building cost-effective large-scale systems with provable safety,
fault tolerance, security, and real-time performance. Recently, I have worked on compositional
scheduling and analysis techniques, reliable real-time cloud infrastructure for safety-critical
and mission-critical applications, the Internet of Things, and network function virtualization,
as well as methods for diagnosing performance problems in data centers.
Some of the projects I am currently working on include:
- efficient real-time fault tolerance techniques for distributed CPS,
- scalable adaptive resource allocation for modern hardware,
- computation-aware algorithmic design for CPS under uncertainty,
- fault detection, isolation and recovery strategies for distributed robotic systems,
- a new approach to defending cyber-physical systems and the cloud against security attacks, and
- a radically different architecture for large-scale data centers.
I am a member of the PRECISE Center and the Distributed Systems Lab, and a co-director of the MSE in Data Science (DATS) program. I am a recipient of the Lindback Award for Distinguished Teaching.
Teaching
CIS 5050: Software Systems
(Fall 2016, Spring 2017, Fall 2017, Spring 2018, Fall 2018, Fall 2019, Fall 2020, Fall 2021, Fall 2022, Spring 2023, Spring 2024, Fall 2024) CIS 4550/5550: Internet and Web Systems (Fall 2023)
Current PhD students
Robert Gifford (co-advised with Andreas Haeberlen) Karan Newatia (co-advised with Andreas Haeberlen)
Yifan Cai
Abby Eisenklam (incoming Fall 2024)
Graduated PhD students
Dr. Yang Li
(co-advised with Sanjeev Khanna and Boon Thau Loo) Dr. Jaewoo Lee (co-advised with Insup Lee)
Dr. Meng Xu (co-advised with Insup Lee)
Dr. Max Demoulin (co-advised with Boon Thau Loo)
Neeraj Gandhi
- Honors & Awards
- Best Paper Award, Real-time and IntelliGent Edge Computing Workshop (RAGE), 2023
- Best Paper Award in Multi-Robot Systems Finalist, International Conference on Robotics and Automation (ICRA), 2021
- Outstanding Paper Award, International Conference on Real-Time Networks and Systems (RTNS), 2021
- Lindback Award for Distinguished Teaching, 2020
- Best Paper Award, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2019
- Best Student Paper Award, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2019
- CAREER Award, National Science Foundation, 2018
- Outstanding Paper Award, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018
- Member of the inaugural class of the ACM Future of Computing Academy, 2017
- Best Paper Award Nominee, Real-Time Systems Symposium (RTSS), 2013
- Best Paper Award Nominee, International Conference on Embedded Software (EMSOFT), 2010
- NUS Dean's Graduate Research Excellence, 2009
- NUS Graduate Scholarship (2003 to 2007)
- Singapore Scholarship (1999 to 2003)
- RoboRebound: Multi-Robot System Defense with Bounded-Time Interaction
N. Gandhi, Y. Cai, A. Haeberlen, and L. T. X. Phan.
Proceedings of the 20th European Conference on Computer Systems (EuroSys), Rotterdam, Netherlands, Mar. 2025. (To appear) - Detecting and Isolation Rotor Faults in Aerial Vehicles with Dozens of Rotors
N. Gandhi, J. Xu, D. Saldana, and L. T. X. Phan.
Proceedings of the 21st IEEE Latin American Robotics Symposium (LARC), Arequipa, Peru, Nov. 2024. (To appear) - Analysis of Long-Term Average Properties of Probabilistic Task Systems
Y. Cai, L. T. X. Phan, and P. S. Thiagarajan.
Proceedings of the 2024 International Conference on Real-Time Networks and Systems (RTNS), Porto, Portugal, Nov. 2024. (To appear) - Online Rotor Fault Detection and Isolation for Vertical Takeoff and Landing Vehicles
J. Lian, N. Gandhi, Y. Wang, and L. T. X. Phan.
Proceedings of the 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Abu Dhabi, UAE, Oct. 2024. (To appear) - Path Structured Multimarginal Schrodinger Bridge for Probabilistic Learning of Hardware Resource Usage by Control Software
G. A. Bondar, R. Gifford, L. T. X. Phan, and A. Halder.
Proceedings of the 2024 American Control Conference (ACC), Toronto, Canada, July 2024. - Object-oriented Unified Encrypted Memory Management for Heterogeneous Memory Architectures
M. Sha, Y. Cai, S. Wang, L. T. X. Phan, F. Li, and K.-L. Tan.
Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD), Santiago, Chile, June 2024. - Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design
R. Gifford, F. Galarza-Jimenez, L. T. X. Phan, and M. Zamani.
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Hong Kong, May 2024. - Metaverse as a Service: Megascale Social 3D on the Cloud
A. Haeberlen, L. T. X. Phan, and M. McGuire.
14th ACM Symposium on Cloud Computing (SoCC), Santa Cruz, California, Oct. 2023. - CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks
A. Loveless, L. T. X. Phan, L. Erickson, R. Dreslinski, and B. Kasikci
ACM SIGBED International Conference on Embedded Software (EMSOFT), Hamburg, Germany, Sep. 2023. - PCspooF: Compromising the Safety of Time-Triggered Ethernet
A. Loveless, L. T. X. Phan, R. Dreslinski, and B. Kasikci
IEEE Symposium on Security and Privacy (S&P), San Francisco, CA, May 2023. - Packet-based Real-Time Intrusion Detection on Edge Devices
N. Borgioli, L. T. X. Phan, A. Biondi, and G. Buttazzo. Proceedings of Real-time and IntelliGent Edge Computing Workshop (RAGE), Antonio, TX, May 2023. (Best Paper Award)- Multi-mode on Multi-core: Making the best of both worlds with Omni
R. Gifford and L. T. X. Phan
IEEE Real-Time Systems Symposium (RTSS), Houston, TX, Dec. 2022.- Mitigating Computational Constraints via Adaptive Control and Resource Allocation Co-design
L. T. X. Phan and R. G. Sanfelice
Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), May 2022.- When Idling is Ideal: Optimizing Tail-Latency for Highly-Dispersed Datacenter Workloads with Persephone
H. M. Demoulin, J. Fried, I. Pedisich, M. Kogias, B. T. Loo, L. T. X. Phan, and I. Zhang
ACM Symposium on Operating Systems Principles (SOSP), virtual conference, Oct 2021.- Vision-Based Self-Assembly for Modular Multirotor Structures
Y. Litman, N. Gandhi, L. T. X. Phan, and D. Saldana
IEEE Robotics and Automation Letters (RA-L) and International Conference on Robotics and Automation (ICRA), Xi'an, China, June 2021. (Finalist, Best Paper Award on Multi-Robot Systems)- IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution
A. Loveless, R. Dreslinski, B. Kasikci, and L. T. X. Phan
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2021.- DNA: Dynamic Resource Allocation for Soft Real-Time Multicore Systems
R. Gifford, N. Gandhi, L. T. X. Phan, and A. Haeberlen
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2021.- REBOUND: Defending Distributed Systems Against Attacks with Bounded-Time Recovery
N. Gandhi, E. Roth, B. Sandler, A. Haeberlen, and L. T. X. Phan
European Conference on Computer Systems (EuroSys), Edinburgh, Scotland, April 2021.- Towards Virtualization-Agnostic Latency for Time-Sensitive Applications
H. Li, M. Xu, C. Li, C. Lu, C. Gill, L. T. X. Phan, I. Lee, and O. Sokolsky
International Conference on Real-Time Networks and Systems (RTNS), April 2021. (Outstanding Paper Award)- Self-Reconfiguration in Response to Faults in Modular Aerial Systems
N. Gandhi, D. Saldana, V. Kumar and L. T. X. Phan
IEEE Robotics and Automation Letters (RA-L) and International Conference on Robotics and Automation (ICRA), Paris, France, May 2020.- Bounded-Time Recovery for Distributed Real-Time Systems
N. Gandhi, E. Roth, R. Gifford, L. T. X. Phan, and A. Haeberlen
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Sydney, Australia, Apr 2020.- TMC: Pay-as-you-Go Distributed Communication
H. M. Demoulin, N. Vasilakis, J. Sonchack, I. Pedisich, V. Liu, B. T. Loo, L. T. X. Phan, J. M. Smith, and I. Zhang
3rd Asia-Pacific Workshop on Networking (APNET), Aug. 2019.- Detecting Application-layer Denial-of-Service Attacks with FineLame
H. M. Demoulin, I. Pedisich, N. Vasilakis. V. Liu, B. T. Loo, and L. T. X. Phan
2019 USENIX Annual Technical Conference (ATC), July 2019.- Holistic multi-resource allocation for real-time multicore virtualization
M. Xu, R. Gifford, and L. T. X. Phan.
Design Automation Conference (DAC), Las Vegas, NV, Jun. 2019.- The Synchronous Data Center
T. Yang, R. Gifford, A. Haeberlen, and L. T. X. Phan
17th Workshop on Hot Topics in Operating Systems (HotOS), Bertinoro, Italy, May 2019.- RTNF: Predictable Latency for Network Function Virtualization
S. Abedi, N. Gandhi, H. M. Demoulin, Y. Li, Y. Wu, and L. T. X. Phan.
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Montreal, Canada, Apr. 2019. (Best Student Paper Award)- Holistic Resource Allocation for Multicore Real-Time Systems
M. Xu, L. T. X. Phan, H. Choi, Y. Lin, H. Li, C. Lu, and I. Lee.
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Montreal, Canada, Apr. 2019. (Best Paper Award)- Zeno: Diagnosing Performance Problems with Temporal Provenance
Y. Wu, A. Chen and L. T. X. Phan.
USENIX Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, USA, Feb. 2019.- DeDoS: Defusing DoS with Dispersion Oriented Software
H. M. Demoulin, T. Vaidya, I. Pedisich, B. DiMaiolo, J. Qian, C. Shah, Y. Zhang, A. Chen, A. Haeberlen, B. T. Loo, L. T. X. Phan, M. Sherr, C. Shields, and W. Zhou.
2018 Annual Computer Security Applications Conference (ACSAC), San Juan, Puerto Rico, Dec. 2018.- Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks
H. M. Demoulin, I. Pedisich, L. T. X. Phan and Boon Thau Loo.
ACM SIGCOMM Workshop on Self-Driving Networks (SelfDN), August 2018.- Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems
J. Boudjadar, I. Lee, J. H. Kim, L. T. X. Phan, K. G. Larsen and U. Nyman.
IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Singapore, May 2018.- LogSafe: Secure and Scalable Data Logger for IoT Devices
H. Nguyen, R. Ivanov, L. T. X. Phan, O. Sokolsky, J. Weimer and I. Lee
IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), Orlando, Florida, Apr. 2018.- Multi-Mode Virtualization for Soft Real-Time Systems
H. Li, M. Xu, C. Li, C. Lu, C. Gill, L. T. X. Phan, I. Lee and O. Sokolsky
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal, Apr. 2018.- SafeMC: A system for the design and evaluation of mode change protocols
T. Chen and L. T. X. Phan
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal, Apr. 2018. (Outstanding Paper Award)- Revisiting GPC and AND Connector in Real-Time Calculus
Y. Tang, N. Guan, W. Liu, L. T. X. Phan and W. Yi.
IEEE Real-Time Systems Symposium (RTSS), Paris, France, Dec. 2017.- MC-ADAPT: Adaptive Task Dropping in Mixed- Criticality Scheduling
J. Lee, H. S. Chwa, L. T. X. Phan, I. Shin, and I. Lee.
IEEE/ACM International Conference on Embedded Software (EMSOFT), Seoul, South Korea, Oct. 2017- vCAT: Dynamic Cache Management using CAT Virtualization
M. Xu, L. T. X. Phan, H.-Y. Choi, and I. Lee.
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Pittsburgh, PA, Apr. 2017.- Mixed-Criticality Processing Pipelines
D. de Niz, B. Andersson, H. Kim, M. Klein, L. T. X. Phan, and R. Rajkumar.
Design, Automation and Test in Europe (DATE), Lausanne, Switzerland, Mar. 2017.- Real-Time Network Function Virtualization with Timing Interfaces
L. T. X. Phan.
9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Porto, Portugal, Nov. 2016.- Dispersing Asymmetric DDoS Attacks with SplitStack
A. Chen, A. Sriraman, T. Vaidya, Y. Zhang, A. Haeberlen, B. T. Loo, L. T. X. Phan, M. Sherr, C. Shields, and W. Zhou
15th ACM Workshop on Hot Topics in Networks (HotNets), Atlanta, GA, Nov. 2016.- Cloud-Based Secure Logger For Medical Devices
H. Nguyen, B. Acharya, R. Ivanov, A. Haeberlen, L. T. X. Phan, O. Sokolsky, J. Walker, J. Weimer, W. Hanson, and I. Lee
1st IEEE Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), Washington DC, Jun. 2016.- Co-Design of Arbitrated Network Control Systems with Overrun Strategies
D. Soudbakhsh, L. T. X. Phan, A. M. Annaswamy, and O. Sokolsky. IEEE Transactions on Control of Network Systems (CONES), 2016.- Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation
M. Xu, L. T. X. Phan, H.-Y. Choi, and I. Lee. 21th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, Apr. 2016.- Network Functions Virtualization with Soft Real-Time Guarantees
Y. Li, L. T. X. Phan, and B. T. Loo.
IEEE International Conference on Computer Communications (INFOCOM), San Francisco, CA, April 2016.- Cache-aware Interfaces for Compositional Real-Time Systems
L. T. X. Phan, M. Xu and I. Lee.
8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, San Antonio, TX, Dec. 2015. (Invited paper)- Mixed-Criticality Scheduling on Multiprocessors using Task Grouping
J. Ren and L. T. X. Phan.
27th Euromicro Conference on Real-Time Systems (ECRTS), Lund, Sweden, July 2015.- RT-OpenStack: CPU Resource Management for Real-Time Cloud Computing S. Xi, C. Li, C. Lu, C. Gill, M. Xu, L. T. X. Phan, I. Lee and O. Sokolsky.
IEEE International Conference on Cloud Computing (CLOUD), New York, NY, June 2015.- Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms.
M. Xu, L. T. X. Phan, O. Sokolsky, S. Xi, C. Lu, C. Gill, and I. Lee.
Real-Time Systems Journal, May 2015.- Fault Tolerance and the Five-Second Rule.
A. Chen, H. Xiao, A. Haeberlen, and L. T. X. Phan.
15th Workshop on Hot Topics in Operating Systems (HotOS XV), Kartause Ittingen, Switzerland, May 2015.- Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
J. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis, U. Nyman, A. Skou, I. Lee, L. T. X. Phan.
18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Auckland, New Zealand, April 2015.- Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
J. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis, U. Nyman, A. Skou, I. Lee, L. T. X. Phan.
18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE), Montreal, QC, Canada, May, 2015.- Platform-Dependent Timing Verification Framework in Model-Based Implementation.
Baekgyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky and Insup Lee
Design Automation and Test in Europe (DATE), Grenoble, France, Mar. 2015.- Detecting Covert Timing Channels with Time-Deterministic Replay. Ang Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh T. X. Phan, Micah Sherr, and Wenchao Zhou.
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, CO, Oct. 2014.- 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), New Delhi, India, Oct. 2014.- Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms.
Dionisio de Niz and Linh T. X. Phan.
20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Berlin, Germany, Apr. 2014.- Towards a Safe Compositional Scheduling Theory for Cyber-Physical Systems.
Linh T. X. Phan.
4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), Vancouver, Canada, Dec. 2013. (Position paper)- 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 Chris Gill.
34th IEEE Real-Time Systems Symposium (RTSS), Vancouver, Canada, Dec. 2013. (Best Paper Nominee)- Platform-Dependent Code Generation for Embedded Real-Time Software.
Baekgyu Kim, Linh T. X. Phan, Insup Lee and Oleg Sokolsky.
International Conference on Compilers Architecture and Synthesis for Embedded Systems, Montreal, Canada, Sep. 2013.- Co-design of Control and Platform with Dropped Signals.
Damoon Soudbakhsh, Linh T. X. Phan, Anuradha Annaswamy, Oleg Sokolsky and Insup Lee.
4th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, Apr. 2013.- 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), Philadelphia, PA, Apr. 2013.- Improving Schedulability of Fixed-Priority Real-Time Systems using Shapers.
Linh T. X. Phan and Insup Lee.
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, PA, Apr. 2013.- Timing Analysis of Process Graphs with Finite Communication Buffers.
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linh T. X. Phan and Alberto Sangiovanni-Vincentelli
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, PA, Apr. 2013.- Towards Dynamic Pricing-Based Collaborative Optimizations for Green Data Centers.
Yang Li, David Chiu, Changbin Liu, Linh T.X. Phan, Tanveer Gill, Sanchit Aggarwal, Zhuoyao Zhang, Boon Thau Loo, and Bart McManus.
2nd International Workshop on Data Management in the Cloud (DMC), co-located with ICDE, Brisbane, Australia, Apr. 2013.- A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Model.
Baekgyu Kim, Linh T. X. Phan, Insup Lee and Oleg Sokolsky.
23rd IEEE International Symposium on Rapid System Prototyping, Tampere, Finland, Oct. 2012.- Analysis and Implementation of Stateful Schedules for Time-Triggered Communication.
Madhukar Anand, Sebastian Fischmeister, Insup Lee and Linh T. X. Phan.
Real-Time Systems Journal, 2012.- A Multi-Modal Composability Framework for Cyber-Physical Systems.
Linh T.X. Phan and Insup Lee.
Safe and Secure Systems and Software Symposium (S5), Beavercreek, Ohio, Jun. 2012.- Realizing Compositional Scheduling through Virtualization.
J. Lee, S. Xi, S. Chen, L. T. X. Phan, C. Gill, I. Lee, C. Lu and O. Sokolsky.
18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Beijing, China, Apr. 2012.- Compositional Real-Time Analysis for Cyber-Physical Systems
Linh T.X. Phan, Insup Lee, Insik Shin, and Oleg Sokolsky.
Tutorial, Cyper-Physical Systems Week 2012, Beijing, China, Apr. 2012.- An Empirical Analysis of Scheduling Techniques for Real-time Cloud-based Data Processing
Linh T.X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, and Insup Lee.
4th IEEE International Workshop on Real-time Service-Oriented Architectures and Applications, Irvine, California, Dec 2011.- Towards A Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems
Linh T.X. Phan and Insup Lee.
1st International Workshop on Cyber-Physical Systems, Networks, and Applications, Toyama, Japan, Aug 2011. (Invited paper)- Compositional Analysis of Real-Time Embedded Systems
Linh T.X. Phan, Insup Lee, and Oleg Sokolsky.
Tutorial, IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems, Taipei, Taiwan, Oct 2011.- Video Quality Driven Buffer Sizing via Frame Drops
Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee.
17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Toyama, Japan, Aug 2011.- A Semantic Framework for Multi-Mode Systems
Linh T.X. Phan, Insup Lee, and Oleg Sokolsky.
17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, April 2011.- Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems.
Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky.
17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, April 2011.- CARTS: A Tool for Compositional Analysis of Real-Time Systems
Linh T.X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Insup Lee, and Oleg Sokolsky.
3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), San Diego, CA, Nov 2010.- Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces
Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee.
3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), San Diego, CA, Nov 2010.- On the Feasibility of Dynamic Rescheduling on the Intel Distributed Computing Platform
Zhuoyao Zhang, Linh T.X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, and Insup Lee.
11th ACM/IFIP/USENIX International Middleware Conference (Middleware), Bangalore, India, Nov 2010.- Modeling Buffers with Data Refresh Semantics in Automotive Architectures
Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee.
10th International Conference on Embedded Software (EMSOFT), Scottsdale, Arizona, Oct 2010. (Best Paper Candidate)- Compositional Analysis of Multi-Mode Systems
Linh T.X. Phan, Insup Lee, and Oleg Sokolsky.
22nd Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium, July 2010.- Formal Modelling and Analysis of Stream Processing Systems
Linh T.X. Phan.
EDAA/ACM PhD Forum at DATE, Dresden, Germany, Mar 2010.- Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierarchical Systems
Arvind Easwaran, Madhukar Anand, Insup Lee, Linh T.X. Phan, and Oleg Sokolsky.
Workshop on Reconciling Performance with Predictability (RePP), Grenoble, France, Oct 2009.- Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems
Linh T.X. Phan, Samarjit Chakraborty and Insup Lee.
30th IEEE Real-Time Systems Symposium (RTSS), Washington DC, Dec 2009.- BSN Simulator: Optimizing Application Using System Level Simulation
K. D. Nguyen, I. Cutcutache, E. Sim, Linh T.X. Phan, N.T.T. Dang, K. Wai, Z. Sun, S. Liu, T.B. Tok, L. Xu, F. E.H. Tay and W.F. Wong.
6th International Workshop on Wearable and Implantable Body Sensor Networks, Berkeley, California, Jun 2009.- Lightweight Modeling of Complex State Dependencies in Stream-Processing Systems
Anne Bouillard, Linh T.X. Phan and Samarjit Chakraborty.
15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, California, Apr 2009.- A Multi-Mode Real-Time Calculus
Linh T.X. Phan, Samarjit Chakraborty, and P. S. Thiagarajan
29th IEEE Real-Time Systems Symposium (RTSS), Barcelona, Spain, Dec 2008.- Fast and Accurate Simulation of Biomonitoring Applications on a Wireless Body Area Network
K. D. Nguyen, I. Cutcutache, S. Sinnadurai, S. Liu, C. Basol, E. Sim, L. T. X. Phan, T. B. Tok, L. Xu, F. E. H. Tay, T. Mitra, W. F. Wong
5th International Workshop on Wearable and Implantable Body Sensor Networks, Hong Kong, China, Jun 2008.- Composing Functional and State-based Performance Models for Analyzing Heterogeneous Real-Time Systems
Linh T.X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, and Lothar Thiele
28th IEEE Real-Time Systems Symposium (RTSS), Tucson, Arizona, Dec 2007- Event Count Automata: A State-based Model for Stream Processing Systems
Samarjit Chakraborty, Linh T.X. Phan and P.S. Thiagarajan
26th IEEE Real-Time Systems Symposium (RTSS), Miami, Florida, Dec 2005 - Multi-mode on Multi-core: Making the best of both worlds with Omni
Publications
- Co-Director, MSE in Data Science, University of Pennsylvania
- Member, SEAS Faculty Council, University of Pennsylvania, July 2019 -- June 2022
- Secretary/Treasurer, ACM SIGBED, July 2019 -- June 2021
- Executive Member, IEEE Technical Committee on Real-Time Systems (TCRTS), January 2016 -- December 2019
- Steering Committee Member, ACM SIGBED International Conference on Embedded Software (EMSOFT), 2021 - present
- Steering Committee Member, International Conference on Real-Time Networks and Systems (RTNS), 2022 - present
- PC Co-Chair, Topic E1 (Embedded Software Architecture, Compilers and Tool Chains), Design Automation and Test in Europe (DATE), 2025
- PC Chair, ACM SIGBED International Conference on Embedded Software (EMSOFT), 2021
- PC Co-Chair, ACM SIGBED International Conference on Embedded Software (EMSOFT), 2020
- Track Chair, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018
- PC Chair, Topic E3 (Model-based Design and Verification), Design Automation and Test in Europe (DATE), 2015, 2016
- PC Co-Chair, Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2011.
- PC Co-Chair, Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2011.
- Publication Chair, Embedded Systems Week (ESWeek), 2017
- Publicity Chair, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2013.
- Web Chair, Cyber-Physical Systems Week, 2013.
- Work-In-Progress Chair, Euromicro Conference on Real-Time Systems (ECRTS), 2013.
- Selected Program Committee: ICCPS (2024), EMSOFT (2015, 2016, 2020, 2021, 2023, 2024), RTSS (2012, 2013, 2015, 2016, 2017, 2020, 2021, 2024), RTAS (2014-2015, 2017-2018, 2020), DAC (2015-2016, 2020, 2024), DATE (2013-2016, 2020), ECRTS (2013, 2015, 2016, 2022, 2024), SECON (2020), LCTES (2015), ICCAD 2013, RTCSA (2013), ETFA (2010-2013), ICPADS (2013).
Service