陳香蘭

 

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




Baidu
map