Mehdi Bagherzadeh, Ph.D.

Assistant Professor Computer Science and Engineering Department (248) 370-2208 mbagherzadeh@www.zhongqiwg.com Ph.D., Iowa State University

Teaching

• CSE 231/506: Object Oriented Computing II

Research

• Making engineering of correct software easier for concurrent, secure, mobile and big data software

Selected Publications

1. Modular reasoning in the presence of event subtyping。在交易模块化和组合1中,special edition: Best papers of Modularity’ 15, pages 167-223, 2016.
   
   
2. On ordering problems in message passing software。在表示dings of the 15th International Conference on Modularity, MODULARITY 2016, pages 54-65, New York, NY, USA, 2016.
   
   
3. Panini: A concurrent programming model for solving pervasive and oblivious interference。在表示dings of the 14th International Conference on Modularity, MODULARITY 2015, pages 93-108, New York, NY, USA, 2015. ACM.
   
   
4. AspectJML: Modular specification and runtime checking for crosscutting contracts。在表示dings of the 13th International Conference on Modularity, MODULARITY ’14, pages 157-168, New York, NY, USA, 2014.
   
   
5. On exceptions, events and observer chains。在表示dings of the 12th Annual International Conference on Aspect-oriented Software Development, AOSD ’13, pages 185-196, New York, NY, USA, 2013. ACM.
   
   
6. Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces。在表示dings of the Tenth International Conference on Aspect-oriented Software Development, AOSD ’11, pages 141-152, New York, NY, USA, 2011. ACM.