陈香兰

 

Email:xlanchen@ustc.edu.cn

  

主要研究方向操作系统、时间可预测计算

  


陈香兰,1977年4月生,中国科学技术大学计算机学院讲师;2017年10月-2018年10月美国芝加哥大学计算机系访问学者,合作者是卢山教授;2007年获得中国科学技术大学计算机软件与理论专业博士学位,导师是龚育昌教授;2000年获得中国科学技术大学计算机科学与技术专业学士学位、经济法(双)学位。在国内外会议期刊上发表论文60多篇,授权专利16项。

 

获奖情况

  1. 2015年中国科学技术大学惠普信息科学青年教师奖
  2. 2014年第三届青年教师教学基本共竞赛三等奖
  3. 2009年校优秀辅导员
  4. 2008年安徽省教育成果二等奖(4/5)
  5. 2008年校教育成果一等奖(4/5)


 

代表性论著

  1. Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu: DFix: automatically fixing timing bugs in distributed systems. PLDI 2019: 994-1009

  2. Bo Wan, Xi Li, Bo Zhang, Caixu Zhao, Xianglan Chen, Chao Wang, Xuehai Zhou: DCW: A Reactive and Predictable Programming Framework for LET-Based Distributed Real-Time Systems. ACM Trans. Design Autom. Electr. Syst. 24(3): 37:1-37:35 (2019)

  3. Yu Zhang, Xianglan Chen, Xin An, Jianliang Lu, Xuejun Li, Xuehai Zhou: Building step-by-step practical curriculum system for computer systemic ability training. ACM TUR-C 2017: 7:1-7:6

  4. Beilei Sun, Xi Li, Bo Wan, Chao Wang, Xuehai Zhou, Xianglan Chen: Definitions of predictability for Cyber Physical Systems. J. Syst. Archit. 63: 48-60 (2016)

  5. Haifeng Liu, Xianglan Chen, Yuchang Gong: BabyOS: a fresh start. SIGCSE 2007: 566-570