Jingshu Chen, Ph.D.

Assistant Professor Computer Science and Engineering Department (248) 370-4087 [email protected] https://jingshuchen.github.io Ph.D., Michigan State University

Teaching

• Software Engineering and Practice
• Script Programming
• Advanced algorithm and Data Structure
• Sophomore Project
• Component based Software Development and Analysis

Research

• Software Reliability
• Formal Methods, Program Verification and Automatic Repair
• Learning based System Analysis and Management
• Distributed Algorithm for Edge Computing

Selected Publications

1. Resolution Matters: Revisiting Prediction-Based Job Co-location in Public Clouds.
   Justin Kur, Jingshu Chen, Ji Xue and Jun Huang, IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC) 2022.
2. Electromagnetic Fingerprinting of Memory Heartbeats: System and Applications.
   Cheng Shen, Jun Huang, Guangyu Sun, Jingshu Chen,
   Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 6(3): 138:1-138:23 (2022), Presented at UbiComp 2022.
3. Ensuring Average Recovery with Adversarial Scheduler. Jingshu Chen, Mohammad Roohitavaf and Sandeep Kulkarni, The International Conference on Principles of Distributed Systems (OPODIS) 2015.
4. Refinement of Probabilistic Stabilizing Programs Using Generic Algorithms. Ling Zhu, Jingshu Chen and Sandeep Kulkarni, The international Symposium on Stabilization, Safety and Security of Distributed System (SSS) 2015.
5. The Complexity of Adding Multitolerance. Jingshu Chen, Ali Ebnenasir and Sandeep Kulkarni, ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2014
6. Towards Scalable Model Checking of Self-Stabilizing Programs. Jingshu Chen and Sandeep S. Kulkarni, The Journal of Parallel and Distributed Computing, 73(4): 400-410, 2013.
7. MR4UM: A Framework for Adding Fault Tolerance to UML State Diagram.Jingshu Chen and Sandeep S. Kulkarni, Theoretical Computer Science, 2013.
8. Complexity Analysis of Weak Multitolerance. Jingshu Chen and Sandeep S. Kulkarni. The proceedings of International Conference on Distributed Computer System (ICDCS) 2010.