陈静舒博士

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

教学

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

研究

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

选定的出版物

1. 解决问题:重新审视公共云中基于预测的作业协同定位。
   Justin Kur, Jingshu Chen, Ji Xue和Jun Huang, IEEE/ACM第15届公用事业和云计算国际会议(UCC 2022)。
2. 记忆心跳电磁指纹识别系统与应用。
   沈程，黄军，孙光宇，陈静书，
   交互式，移动，可穿戴和无处不在技术的ACM会议记录6(3):138:1-138:23(2022)，在UbiComp 2022上提出。
3. 使用对抗性调度器确保平均恢复。陈景树，Mohammad Roohitavaf和Sandeep Kulkarni，分布式系统原理国际会议(OPODIS) 2015。
4. 利用泛型算法改进概率稳定程序。朱玲，陈景树，Sandeep Kulkarni，分布式系统(SSS)稳定、安全与保障国际研讨会2015。
5. 增加多重公差的复杂性。陈景树，Ali Ebnenasir, Sandeep Kulkarni，自动化与自适应系统学报，2014
6. 自稳定程序的可扩展模型检验。陈景树，陈景树，并行计算与分布式计算，34(4):1 - 10,2013。
7. MR4UM:为UML状态图添加容错的框架。陈景树，陈景树，理论计算机科学，2013。
8. 弱多重公差的复杂性分析。陈静舒，Sandeep S. Kulkarni。2010年分布式计算机系统国际会议论文集。