工程与计算机科学学院“，
工程中心，301室
图书馆路115号
罗切斯特，密歇根州48309-4479
(位置地图)
教务处:(248)370-2217
学术指导:(248)370-2201
secsadvising@www.zhongqiwg.com
 |
助理教授 |
教学
- CSE 231/506:面向对象计算II
研究
- 使正确的软件工程更容易实现并发、安全、移动和大数据软件
选定的出版物
- 事件子类型存在的模块化推理．在Transactions on Modularity and Composition 1，特别版:Modularity ' 15的最佳论文，第167-223页，2016。
- 消息传递软件中的排序问题．在第15届国际模块化会议论文集，Modularity 2016, 54-65页，纽约，NY，美国，2016。
- 帕尼尼:并行编程模型解决普遍和无关干扰．第14届国际模块化会议论文集，Modularity 2015, 93-108页，纽约，NY, USA, 2015。ACM。
- AspectJML:横切契约的模块化规范和运行时检查．在第十三届国际模块化会议论文集，Modularity ' 14, 157-168页，纽约，NY，美国，2014。
- 关于异常、事件和观察者链．第12届面向方面软件开发国际年会论文集，AOSD ' 13, 185-196页，纽约，NY，美国，2013。ACM。
- 透明契约:面向方面接口的表达规范和模块验证．第十届面向方面软件开发国际会议论文集，AOSD ' 11, 141-152页，纽约，NY，美国，2011。ACM。