Mehdi Bagherzadeh博士.D.

助理教授 计算机科学与工程系 (248) 370-2208 mbagherzadeh@anhkarah.com Ph.D.爱荷华州立大学

教学

• CSE 231/506:面向对象计算II

研究

• 为并发、安全、移动和大数据软件更容易地进行正确的软件工程

选定的出版物

1. 存在事件子类型的模块化推理. 论模块化与组合1, 特别版:模块化的最佳论文' 15, 167 - 223页, 2016.
   
   
2. 论消息传递软件中的排序问题. 第十五届国际模块化会议论文集, 模块化2016, 54 - 65页, 纽约, NY, 美国, 2016.
   
   
3. 一个用于解决普遍干扰和无关干扰的并发编程模型. 第十四届国际模块化会议论文集, 模块化2015, 93 - 108页, 纽约, NY, 美国, 2015. ACM.
   
   
4. AspectJML:横切契约的模块化规范和运行时检查. 第十三届模块化国际会议论文集, 模块化的14, 157 - 168页, 纽约, NY, 美国, 2014.
   
   
5. 异常、事件和观察者链. 第12届面向方面的软件开发国际会议论文集, AOSD的13, 185 - 196页, 纽约, NY, 美国, 2013. ACM.
   
   
6. 半透明契约:面向方面接口的表达性规范和模块化验证. 第十届面向方面的软件开发国际会议论文集, AOSD的11, 141 - 152页, 纽约, NY, 美国, 2011. ACM.