top

CONTACT:


jingshuchen at oakland.edu

Office Tel: 248-370-4087


UPDATE:


I am actively looking for self motivated graduate/undegraduate students to join my research team.


Current Students:


Justin Kur

Charlie Wingate

Yuxuan Wang

Amin Fellah


Former Students:


Zilin Li

Colin Schroeder

Charlie Wingate

Donovan Cummins

Zachary Steffes

Jingshu Chen

Assistant Professor, Oakland University

My research lies generally in the area of software systems, with a focus on building reliable software systems and exploiting learning based techniques and formal methods to design and verify software systems.The ultimate goal of my research is to improve the reliability, availability and scalability of software defined systems.


PUBLICATIONS:


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


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


  • Ensuring Average Recovery with Adversarial Scheduler.

    •    Jingshu Chen, Mohammad Roohitavaf and Sandeep S.Kulkarni,

       The International Conference on Principles of Distributed Systems (OPODIS) 2015.


  • Refinment of Probabilistic Stabilizing Programs Using Genetic Algorithms.

    •    Ling Zhu, Jingshu Chen and Sandeep S. Kulkarni,

       The Int'l Symposium on Stabilization, Safety and Security of Distributed System (SSS) 2015.


  • The Complexity of Adding Multitolerance.

    •     Jingshu Chen, Ali Ebnenasir and Sandeep S. Kulkarni,

        ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2014.


  • Analyzing Conflict Freedom for Multithreaded Programs With Time Annotations.

    •    Jingshu Chen, Marie Duflot and Stephan Merz,

        The 14th Int'l workshop on Automated Verification of Critical Systems (AVOCS) 2014.


  • Towards Scalable Model Checking of Self-Stabilizing Programs.

    •    Jingshu Chen and Sandeep S. Kulkarni,

        J. Parallel Distrib. Comput. 73(4): 400-410, 2013.


  • SMT-Based Model Checking for Stabilizing Programs.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        The Int'l Conference on Distributed Computing and Networking (ICDCN) 2013.


  • MR4UM: A Framework for Adding Fault Tolerance to UML State Diagram.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        Theoretical Computer Science, 2013.


  • Brief Announcement: Verification of Stabilizing Programs with SMT Solvers.

    •    Jingshu Chen and Sandeep S. Kulkarni,

        The Int'l Symposium on Stabilization, Safety and Security of Distributed System (SSS) 2012.


  • Application of Automated Revision for UML models: A Case Study.

    •    Jingshu Chen and Sandeep S. Kulkarni,

       The Int'l Conference on Distributed Computing and Networking Systems (ICDCN) 2012.


  • Effectiveness of Transition Systems to Model Faults.

    •    Jingshu Chen and Sandeep S. Kulkarni,

       The 2nd Internaltional Workshop on Logical Aspects of Fault-Tolerance (LAFT) 2011.


  • Complexity Analysis of Weak Multitolerance.

    •    Jingshu Chen and Sandeep S. Kulkarni,

       The International Conference on Distributed Computer System (ICDCS) 2010.


  • Effect of Fairness in Model Checking of Self-Stabilizing Programs.

    •    Jingshu Chen and Sandeep S. Kulkarni,

       The International Conference on Principles of Distributed Systems (OPODIS) 2010.


  • A Reflective Framework for Authentication in Grid Computing Environments.

    •     Jingshu Chen, Hong Wu, Qingyang Wang, Qingguan Wang and Xuebin Chi,

        in GCC 2006.


  • A New Architecture of Data Access Middleware under Grid Environment.

    •     Qingyang Wang, Jingshu Chen, Xibin Gao, Wei Zhou and Baoping Yan,

        in APSCC 2006.


  • Application of Universal Relation in the Data Access Middleware under Grid Environment.

    •     Qingyang Wang, Deting Yang, Jingshu Chen, Xibing Gao, Baoping Yan,

        in CODATA 2006.


    contact via jingshuchen at gmail.com