Mehdi Bagherzadeh

email: mbagherzadeh AT oakland.edu
office: 542 Engineering Center

Ph.D., Iowa State University

Laboratory for Correct Software

I am actively recruiting highly motivated graduate/undegraduate students to join my lab

Ranking

Research Interest

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

Select Publications

Mohsen Moradi Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, and Hamid Bagheri 𝜇Akka: Mutation Testing for Actor Concurrency in Akka Using Real-World Bugs , ESEC/FSE '23: 31st Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023, Main Research Track (Acceptance rate: 142/473 = 30%)

Raffi Khatchadourian Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, and Anita Raja Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution, ASE NIER '23: 38th IEEE/ACM International Conference on Automated Software Engineering, 2023, NIER Track (Acceptance rate: 25/70 = 36%)

Tatiano Castro Velez, Raffi Khatchadourian, Mehdi Bagherzadeh, and Anita Raja Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study, MSR '22: Mining Software Repositories, 2022 (Acceptane rate: 45/137 = 34%)

Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Rhia Singh, Ajani Stewart and Anita Raja An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems, ICSE'21: 43rd International Conference on Software Engineering, 2021, Technical Track (Acceptance rate: 138/602 = 23%)

Yiming Tang, Allan Spektor, Raffi Khatchadourian, and Mehdi Bagherzadeh. Automated evolution of feature logging statement levels using Git histories and degree of interest, SCP'21: Science of Computer Programming Journal, 2021

Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, and Raffi Khatchadourian Actor Concurrency Bugs in Akka: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences, OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications, 2020 (Acceptance rate: 109/302 = 36%)

Best Paper Award          Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Baishakhi Ray An Empirical Study on the Use and Misuse of Java 8 Streams, FASE'20: 23rd International Conference on Fundamental Approaches to Software Engineering, 2020 (Acceptance rate: 23/81 = 28%)

Raffi Khatchadourian, Yiming Tang, and Mehdi Bagherzadeh Safe Automated Refactoring for Intelligent Parallelization of Java 8 streams, SCP'20: Science of Computer Programming Journal, 2020

Mehdi Bagherzadeh and Raffi Khatchadourian Going Big: A Large-Scale Study on What Big Data Developers Ask, ESEC/FSE'19: 27th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, Main Research Track (Acceptance rate: 74/303 = 24%)

Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Syed Ahmed Safe Automated Refactoring for Intelligent Parallelization of Java 8 streams, ICSE'19: 41st International Conference on Software Engineering, 2019, Technical Track (Acceptance rate: 109/529 = 21%)

Syed Ahmed and Mehdi Bagherzadeh, What Do Concurrency Developers Ask About? A Large-scale Study Using Stack Overflow, ESEM'18: 12th International Symposium on Empirical Software Engineering and Measurement, 2018 (Acceptance rate: 30/140 = 21%)

Distinguished Paper Award          Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Syed Ahmed A Tool for Optimizing Java 8 Stream Software via Automated Refactoring, SCAM'18: 18th International Working Conference on Source Code Analysis and Manipulation, 2018 (Acceptance rate: 9/17 = 53%)

Mehdi Bagherzadeh and Hridesh Rajan, Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency, AGERE'17: 7th International Workshop on Programming based on Actors, Agents, and Decentralized Control, 2017

Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, Jose Sanchez and Hridesh Rajan, Modular Reasoning in the Presence of Event Subtyping, TOMC'16: Transactions on Modularity and Composition, special edition: Best papers of Modularity'15, 2016

Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya and Hridesh Rajan, On Ordering Problems in Message Passing Software, Modularity'16: 15th International Conference on Modularity, Malaga, Spain, March 2016

Best Papers Award          Mehdi Bagherzadeh and Hridesh Rajan, Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference, Modularity'15: 14th International Conference on Modularity, Fort Collins, Colorado, USA, March 2015 (Acceptance rate: = 12/25 = 48%)

Best Papers Award          Mehdi Bagherzadeh Robert Dyer, Rex D. Fernando, Jose Sanchez and Hridesh Rajan, Modular Reasoning in the Presence of Event Subtyping, Modularity'15: 14th International Conference on Modularity, Fort Collins, Colorado, USA, March 2015 (Acceptance rate: 12/25 = 48%)

Henrique Rebelo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel Zimmerman, Marcio Cornelio and Thomas Thum, AspectJML: Modular Specfication and Runtime Checking for Crosscutting Contracts, Modularity'14: 13th International Conference on Modularity, Lugano, Switzerland, April 2014 (Acceptance rate: 21/60 = 35%)

Mehdi Bagherzadeh, Hridesh Rajan and Ali Darvish, On Exceptions, Events and Observer Chains, AOSD'13: 12th International Conference on Aspect Oriented Software Development, Fukuoka, Japan, March 2013 (Acceptance rate: 18/54 = 33%)

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean Mooney, Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces, AOSD'11: 10th International Conference on Aspect Oriented Software Development, Porto de Galinhas, Pernambuco, Brazil, March 2011 (Acceptance rate: 23/95 = 24%)

... more

Major Awards and Honors

Best Paper Award, 2020, An Empirical Study on the Use and Misuse of Java 8 Streams, FASE'20: International Conference on Fundamental Approaches to Software Engineering

Distinguished Paper Award, 2018, A Tool for Optimizing Java 8 Stream Software via Automated Refactoring, SCAM'18: International Working Conference on Source Code Analysis and Manipulation

Best Papers Award, 2015, Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference, Modularity'15: International Conference on Modularity

Best Papers Award, 2015, Modular Reasoning in the Presence of Event Subtyping, Modularity'15: International Conference on Modularity

Dr. Robert Stewart Early Research Recognition Award, 2013 College of Liberal Arts & Sciences, Iowa State University

Teaching Excellence Award Nomination, 2023, Senate Teaching & Learning Committee, Oakland University

Teaching Excellence Award Nomination, 2021, Senate Teaching & Learning Committee, Oakland University

Teaching Excellence Award Nomination, 2020, Senate Teaching & Learning Committee, Oakland University

Teaching Excellence Award Nomination, 2020, School of Engineering and Computer Science, Oakland University

Teaching Excellence Award Nomination, 2019, Senate Teaching & Learning Committee, Oakland University

Teaching Excellence Award Nomination, 2018, Senate Teaching & Learning Committee, Oakland University

Teaching Excellence Award, 2015, College of Liberal Arts & Sciences, Iowa State University

Teaching

CSI 3350: Programming Languages [undergrad], Winter 2023, Winter 2022, Winter 2020, Winter 2019, Fall 2018

CSI/APM 3430: Theory of Computation, [undergrad], Fall 2022, Fall 2021, Fall 2020, Fall 2019

CSI 2310/5006: Data structures, [undergrad/grad], Winter 2021, Fall 2018, Fall 2017, Fall 2016

CSI 2320: C++ for Programmers, [undergrad], Winter 2020

CSI 4700/5720: Software Security [undergrad/grad], Fall 2022, Fall 2021, Fall 2020, Fall 2019, Winter 2019, Winter 2018, Winter 2017

CSI 5200: Fundamentals of Software Modeling [grad], Winter 2023, Winter 2022, Winter 2021

Current Students

Mohsen Moradi Moghadam (Ph.D.)

Li Sa (Ph.D.)

Aamani Doguparthi (Ph.D.)

Alumni

Srilakshmi Sripathi, M.Sc., 2020 (Ford Motor Company)

Mohammed Awan, B.Sc., 2019

Benjamin Diehl, B.Sc., 2019

Syed Ahmed, B.Sc., 2017

Synergistic Activities