Expand the section navigation mobile menu

Jingshu Chen, Ph.D.

Jingshu Chen Headshot

Assistant Professor
Computer Science and Engineering Department
(248) 370-4087
[email protected]


Ph.D., Michigan State University


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


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

School of Engineering and Computer Science

Engineering Center, Room 301
115 Library Drive
Rochester , MI 48309-447
(location map)
Dean's Office (248) 370-2217
Academic Advising (248) 370-2201