Mehdi Bagherzadeh

According to our database, Mehdi Bagherzadeh authored at least 28 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs.

Mohsen Moradi-Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, Hamid Bagheri

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution.

Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Automated evolution of feature logging statement levels using Git histories and degree of interest.

Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh

Sci. Comput. Program., 2022

Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study.

Tatiana Castro Vélez, Raffi Khatchadourian, Mehdi Bagherzadeh, Anita Raja

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest.

Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Interests, Difficulties, Sentiments, and Tool Usages of Concurrency Developers: A Large-Scale Study on Stack Overflow.

Mehdi Bagherzadeh, Syed Ahmed, Srilakshmi Sripathi, Raffi Khatchadourian

CoRR, 2021

An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems.

Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Rhia Singh, Ajani Stewart, Anita Raja

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Safe automated refactoring for intelligent parallelization of Java 8 streams.

Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh

Sci. Comput. Program., 2020

Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences.

Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, Raffi Khatchadourian

Proc. ACM Program. Lang., 2020

An Empirical Study on the Use and Misuse of Java 8 Streams.

Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Going big: a large-scale study on what big data developers ask.

Mehdi Bagherzadeh, Raffi Khatchadourian

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Safe automated refactoring for intelligent parallelization of Java 8 streams.

Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring.

Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Towards safe refactoring for intelligent parallelization of Java 8 streams.

Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Syed Ahmed

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

What do concurrency developers ask about?: a large-scale study using stack overflow.

Syed Ahmed, Mehdi Bagherzadeh

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

2017

Order types: static reasoning about message races in asynchronous message passing concurrency.

Mehdi Bagherzadeh, Hridesh Rajan

Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, 2017

2016

Modular Reasoning in the Presence of Event Subtyping.

Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan

LNCS Trans. Modul. Compos., 2016

On ordering problems in message passing software.

Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, Hridesh Rajan

Proceedings of the 15th International Conference on Modularity, 2016

2015

Panini: a concurrent programming model with modular reasoning.

Mehdi Bagherzadeh

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Panini: a concurrent programming model for solving pervasive and oblivious interference.

Mehdi Bagherzadeh, Hridesh Rajan

Proceedings of the 14th International Conference on Modularity, 2015

2014

AspectJML: modular specification and runtime checking for crosscutting contracts.

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

Modularizing crosscutting contracts with AspectJML.

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

2013

On exceptions, events and observer chains.

Mehdi Bagherzadeh, Hridesh Rajan, Mohammad Ali Darvish Darab

Proceedings of the Aspect-Oriented Software Development, 2013

2011

Applying translucid contracts for modular reasoning about aspect and object oriented events.

Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Modularizing crosscutting concerns with Ptolemy.

Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh

Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Translucid contracts for modular reasoning about aspect-oriented programs.

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Enabling expressive aspect oriented modular reasoning by translucid contracts.

Mehdi Bagherzadeh

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010