• 
  Mehdi Bagherzadeh

  Associate Professor

  Oakland University

  At the intersection of Software Engineering and Programming Languages, his research focuses on making engineering and programming of correct concurrent and big data software easier.

Co-Authored Publications

• TOMC: Modular reasoning in the presence of event subtyping Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan. September 1, 2016.
• MODULARITY: Modular Reasoning in the Presence of Event Subtyping  Best Paper Award Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan. March 18, 2015.
  Acceptance rate: 12/25 (48.00%)
• AOSD: Modularizing Crosscutting Concerns with Ptolemy Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh. March 22, 2011.
• FOAL: Applying Translucid Contracts for Modular Reasoning about Aspect and Object Oriented Events Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer. March 21, 2011.
• ESCOT: A preliminary study of quantified, typed events Robert Dyer, Mehdi Bagherzadeh, Hridesh Rajan, Yuanfang Cai. March 16, 2010.
• Instance-level Quantified, Typed Events for Improved Separation of Integration Concerns Mehdi Bagherzadeh, Robert Dyer, Yuheng Long, Hridesh Rajan. December 23, 2008. Technical Report #08-15, Department of Computer Science.