Jingshu Chen博士。

助理教授 计算机科学与工程部门 (248)370 - 4087 jingshuchen@www.zhongqiwg.com https://jingshuchen.github.io 密歇根州立大学博士

教学

• 软件工程与实践
• 脚本编程
• 先进的算法和数据结构
• 大二学生项目
• 基于组件的软件开发和分析

研究

• 软件可靠性
• 正式的方法、程序验证和自动修复
• 基于学习的系统分析和管理
• 分布式算法计算边缘

选定的出版物

1. 决议事项:回顾Prediction-Based工作在公共云主机代管。
   贾斯廷·科尔Jingshu Chen霁雪和小君黄,IEEE / ACM国际会议15日效用和云计算(UCC) 2022。
2. 电磁指纹识别的内存心跳:系统和应用程序。
   程沈,黄小君,广宇太阳,Jingshu陈,
   诉讼ACM的互动、移动、可穿戴和无处不在的技术6(3):138:1-138:23(2022),在主要2022。
3. 确保平均回收率与敌对的调度器。穆罕默德Jingshu Chen Roohitavaf Sandeep Kulkarni,分布式系统的国际会议原则(OPODIS) 2015。
4. 改进的概率稳定程序使用泛型算法。凌朱、陈Jingshu和Sandeep Kulkarni国际研讨会上稳定,安全的分布式系统(SSS) 2015。
5. 添加Multitolerance的复杂性。ACM Jingshu陈,阿里Ebnenasir Sandeep Kulkarni交易自治和自适应系统(taa), 2014年
6. 对可伸缩模型检测稳定程序。Jingshu陈和Sandeep Kulkarni,并行计算和分布式计算的杂志,73 (4):400 - 410,2013。
7. MR4UM:添加容错框架UML状态图。Jingshu陈和Sandeep Kulkarni,理论计算机科学,2013年。
8. 复杂性分析Multitolerance疲软。Jingshu陈和Sandeep Kulkarni。国际会议的程序在分布式计算机系统(ICDCS) 2010。