陈景淑博士.D.
助理教授 http://jingshuchen.github.io |
教学
- 软件工程与实践
- 脚本编程
- 高级算法和数据结构
- 大二学生项目
- 基于组件的软件开发与分析
研究
- 软件可靠性
- 正式方法,程序验证和自动修复
- 基于学习的系统分析与管理
- 边缘计算的分布式算法
选定的出版物
- 解决问题:重新审视公共云中基于预测的工作协同定位.
贾斯汀•科尔, Jingshu陈, 季雪和黄军, IEEE/ACM第15届公用事业与云计算国际会议(UCC) 2022. - 记忆心跳的电磁指纹识别:系统与应用.
沈诚,黄军,孙光宇,陈景舒,
美国计算机学会互动性会议录, 移动, 可穿戴技术与应用[j] (3): 138 -138 (2022), 在UbiComp 2022上展示. - 确保平均恢复与对抗性调度. Jingshu陈, Mohammad Roohitavaf和Sandeep Kulkarni, 分布式系统原理国际会议(OPODIS) 2015.
- 用泛型算法改进概率稳定方案. 凌朱, Jingshu陈和Sandeep Kulkarni, 国际稳定问题专题讨论会, 分布式系统安全与保障(SSS) 2015.
- 添加多公差的复杂性. Jingshu陈, Ali Ebnenasir和Sandeep Kulkarni, 美国计算机学会自主与自适应系统汇刊, 2014
- 自稳定方案的可伸缩模型检验. 陈景淑和桑迪普. 李建军,李建军。基于并行计算的分布式计算系统。计算机集成制造系统,33 (4):559 - 559,2013.
- MR4UM:为UML状态图添加容错的框架.陈景淑和桑迪普. Kulkarni,《十大菠菜台子》,2013.
- 弱多容忍的复杂性分析. 陈景淑和桑迪普. Kulkarni. 分布式计算机系统国际会议论文集(ICDCS) 2010.