I am currently a PhD candidate of Computer Science at Michigan State University. My advisor is Professor Sandeep Kulkarni. Previously, I got M.S. from Chinese Academy of Science in 2007 and B.S. from Xiamen University in 2004.
My research lies generally in the area of software systems, with a focus on building reliable software systems and exploiting formal methods techniques to ensure the correctness of software systems.The ultimate goal of my research is to improve the reliability, availability and scalability of software defined systems.
Research:
One of the research challenges in ensuring the correctness of software systems is guaranteeing the reliability of softwares in the presence of unexpected faults. To address this challenge, my research goal is to build a comprehensive framework that helps designers building reliable softwares in an automatic way. To this end, in my doctoral work, I have developed new algorithms and theory as well as practical tools to advance the state-of-the-art research.
Publications:
| Jingshu Chen and Sandeep S. Kulkarni, Towards Scalable Model Checking of Self-Stabilizing Programs. Accepted in JPDC. (YJPDC3118) |
| Jingshu Chen and Sandeep S. Kulkarni, SMT-Based Model Checking for Stabilizing Programs. In ICDCN 2013. |
| Jingshu Chen and Sandeep S. Kulkarni, MR4UM: A Framework for Adding Fault Tolerance to UML State Diagram. in Theoretical Computer Science.DOI: 10.1016/j.tcs.2012.10.005 |
| Jingshu Chen and Sandeep S. Kulkarni, Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. In SSS 2012. |
| Jingshu Chen and Sandeep S. Kulkarni,Application of Automated Revision for UML models: A Case Study. In ICDCN 2012. |
| Jingshu Chen and Sandeep S. Kulkarni, Effectiveness of Transition Systems to Model Faults, in LAFT 2011. |
| Jingshu Chen and Sandeep S. Kulkarni, Complexity Analysis of Weak Multitolerance. In ICDCS 2010, Genoa, Italy (acceptance rate 14%). (PPT) |
| Jingshu Chen, Fuad Abujarad and Sandeep S. Kulkarni, Effect of Fairness in Model Checking of Self-Stabilizing Programs, In OPODIS 2010, Tunisia. |
| Jingshu Chen, Hong Wu, Qingyang Wang, Qingguan Wang and Xuebin Chi. A Reflective Framework for Authentication in Grid Computing Environments. In GCC 2006. |
| Qingyang Wang, Jingshu Chen, Xibin Gao, Wei Zhou and Baoping Yan. A New Architecture of Data Access Middleware under Grid Environment. In APSCC 2006. |
| Qingyang Wang, Deting Yang, Jingshu Chen, Xibing Gao, Baoping Yan, Application of Universal Relation in the Data Access Middleware under Grid Environment, In Proc. of the 20th CODATA international conference (CODATA 06), June 2006. |
Teaching:
Teach Assistant for CSE department at Michigan State University:
| cse410 Operating System fall08 |
| cse410 Operating System spring09 |
