Mehdi Bagherzadeh

37 papers A* 4A 2B 2C 1Journal 10Unranked 17
YearRankTypeTitle / Venue / Authors
2025 B conf
Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph Execution.
FASE
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja
2025 J jnl
Safe Automated Refactoring for Efficient Migration of Imperative Deep Learning Programs to Graph Execution.
CoRR
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja
2025 A* conf
Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution.
ASE
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja
2023 A* conf
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution.
ASE
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja
2023 J jnl
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution.
CoRR
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja
2023 — conf
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs.
ESEC/SIGSOFT FSE
Mohsen Moradi-Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, Hamid Bagheri
2022 — conf
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest.
ICSE-Companion
Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh
2022 J jnl
Automated evolution of feature logging statement levels using Git histories and degree of interest.
Sci. Comput. Program.
Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh
2022 A conf
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study.
MSR
Tatiana Castro Vélez, Raffi Khatchadourian, Mehdi Bagherzadeh, Anita Raja
2022 J jnl
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study.
CoRR
Tatiana Castro Vélez, Raffi Khatchadourian, Mehdi Bagherzadeh, Anita Raja
2021 J jnl
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest.
CoRR
Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh
2021 A* conf
An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems.
ICSE
Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Rhia Singh, Ajani Stewart, Anita Raja
2021 J jnl
Automated Evolution of Feature Logging Statement Levels Using Git Histories and Degree of Interest.
CoRR
Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh
2021 J jnl
Interests, Difficulties, Sentiments, and Tool Usages of Concurrency Developers: A Large-Scale Study on Stack Overflow.
CoRR
Mehdi Bagherzadeh, Syed Ahmed, Srilakshmi Sripathi, Raffi Khatchadourian
2020 J jnl
Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences.
Proc. ACM Program. Lang.
Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, Raffi Khatchadourian
2020 B conf
An Empirical Study on the Use and Misuse of Java 8 Streams.
FASE
Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray
2020 J jnl
Safe automated refactoring for intelligent parallelization of Java 8 streams.
Sci. Comput. Program.
Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh
2019 — conf
Going big: a large-scale study on what big data developers ask.
ESEC/SIGSOFT FSE
Mehdi Bagherzadeh, Raffi Khatchadourian
2019 A* conf
Safe automated refactoring for intelligent parallelization of Java 8 streams.
ICSE
Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed
2018 — conf
Towards safe refactoring for intelligent parallelization of Java 8 streams.
ICSE (Companion Volume)
Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Syed Ahmed
2018 A conf
What do concurrency developers ask about?: a large-scale study using stack overflow.
ESEM
Syed Ahmed, Mehdi Bagherzadeh
2018 C conf
[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring.
SCAM
Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed
2017 — conf
Order types: static reasoning about message races in asynchronous message passing concurrency.
AGERE!@SPLASH
Mehdi Bagherzadeh, Hridesh Rajan
2016 J jnl
Modular Reasoning in the Presence of Event Subtyping.
LNCS Trans. Modul. Compos.
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
2016 — conf
On ordering problems in message passing software.
MODULARITY
Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, Hridesh Rajan
2016 — —
Toward a Concurrent Programming Model with Modular Reasoning.
Mehdi Bagherzadeh
2015 — conf
Modular reasoning in the presence of event subtyping.
MODULARITY
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
2015 — conf
Panini: a concurrent programming model for solving pervasive and oblivious interference.
MODULARITY
Mehdi Bagherzadeh, Hridesh Rajan
2015 — conf
Panini: a concurrent programming model with modular reasoning.
SPLASH (Companion Volume)
Mehdi Bagherzadeh
2014 — conf
AspectJML: modular specification and runtime checking for crosscutting contracts.
MODULARITY
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 — conf
Modularizing crosscutting contracts with AspectJML.
MODULARITY (Companion)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2013 — conf
On exceptions, events and observer chains.
AOSD
Mehdi Bagherzadeh, Hridesh Rajan, Mohammad Ali Darvish Darab
2011 — conf
Applying translucid contracts for modular reasoning about aspect and object oriented events.
FOAL
Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer
2011 — conf
Modularizing crosscutting concerns with Ptolemy.
AOSD (Companion)
Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh
2011 — conf
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.
AOSD
Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney
2010 — conf
Enabling expressive aspect oriented modular reasoning by translucid contracts.
SPLASH/OOPSLA Companion
Mehdi Bagherzadeh
2010 — conf
Translucid contracts for modular reasoning about aspect-oriented programs.
SPLASH/OOPSLA Companion
Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney