Enabling expressive aspect oriented modular reasoning by translucid contracts. - Mehdi Bagherzadeh 001 (SPLASH/OOPSLA Companion, 2010)

Translucid contracts for modular reasoning about aspect-oriented programs. - Mehdi Bagherzadeh 001; Hridesh Rajan; Gary T. Leavens; Sean L. Mooney (SPLASH/OOPSLA Companion, 2010)

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. - Mehdi Bagherzadeh 001; Hridesh Rajan; Gary T. Leavens; Sean L. Mooney (AOSD, 2011)

Modularizing crosscutting concerns with Ptolemy. - Hridesh Rajan; Gary T. Leavens; Robert Dyer 001; Mehdi Bagherzadeh 001 (AOSD (Companion), 2011)

Applying translucid contracts for modular reasoning about aspect and object oriented events. - Mehdi Bagherzadeh 001; Gary T. Leavens; Robert Dyer 001 (FOAL, 2011)

On exceptions, events and observer chains. - Mehdi Bagherzadeh 001; Hridesh Rajan; Mohammad Ali Darvish Darab (AOSD, 2013)

Modularizing crosscutting contracts with AspectJML. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY (Companion), 2014)

AspectJML: modular specification and runtime checking for crosscutting contracts. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY, 2014)

Panini: a concurrent programming model for solving pervasive and oblivious interference. - Mehdi Bagherzadeh 001; Hridesh Rajan (MODULARITY, 2015)

Panini: a concurrent programming model with modular reasoning. - Mehdi Bagherzadeh 001 (SPLASH (Companion Volume), 2015)

On ordering problems in message passing software. - Yuheng Long; Mehdi Bagherzadeh 001; Eric Lin; Ganesha Upadhyaya; Hridesh Rajan (MODULARITY, 2016)

Modular Reasoning in the Presence of Event Subtyping. - Mehdi Bagherzadeh 001; Robert Dyer 001; Rex D. Fernando; José Sánchez; Hridesh Rajan (LNCS Trans. Modul. Compos., 2016)

Order types: static reasoning about message races in asynchronous message passing concurrency. - Mehdi Bagherzadeh 001; Hridesh Rajan (AGERE!@SPLASH, 2017)

What do concurrency developers ask about?: a large-scale study using stack overflow. - Syed Ahmed; Mehdi Bagherzadeh 001 (ESEM, 2018)

Towards safe refactoring for intelligent parallelization of Java 8 streams. - Yiming Tang 002; Raffi Khatchadourian; Mehdi Bagherzadeh 001; Syed Ahmed (ICSE (Companion Volume), 2018)

[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring. - Raffi Khatchadourian; Yiming Tang 002; Mehdi Bagherzadeh 001; Syed Ahmed (SCAM, 2018)

Safe automated refactoring for intelligent parallelization of Java 8 streams. - Raffi Khatchadourian; Yiming Tang 002; Mehdi Bagherzadeh 001; Syed Ahmed (ICSE, 2019)

Going big: a large-scale study on what big data developers ask. - Mehdi Bagherzadeh 001; Raffi Khatchadourian (ESEC/SIGSOFT FSE, 2019)

An Empirical Study on the Use and Misuse of Java 8 Streams. - Raffi Khatchadourian; Yiming Tang 002; Mehdi Bagherzadeh 001; Baishakhi Ray (FASE, 2020)

Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences. - Mehdi Bagherzadeh 001; Nicholas Fireman; Anas Shawesh; Raffi Khatchadourian (Proc. ACM Program. Lang., 2020)

Safe automated refactoring for intelligent parallelization of Java 8 streams. - Raffi Khatchadourian; Yiming Tang 002; Mehdi Bagherzadeh 001 (Sci. Comput. Program., 2020)

An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems. - Yiming Tang 002; Raffi Khatchadourian; Mehdi Bagherzadeh 001; Rhia Singh; Ajani Stewart; Anita Raja (ICSE, 2021)

Interests, Difficulties, Sentiments, and Tool Usages of Concurrency Developers: A Large-Scale Study on Stack Overflow. - Mehdi Bagherzadeh 001; Syed Ahmed; Srilakshmi Sripathi; Raffi Khatchadourian (CoRR, 2021)

A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest. - Yiming Tang 002; Allan Spektor; Raffi Khatchadourian; Mehdi Bagherzadeh 001 (ICSE-Companion, 2022)

Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study. - Tatiana Castro Vélez; Raffi Khatchadourian; Mehdi Bagherzadeh 001; Anita Raja (MSR, 2022)

Automated evolution of feature logging statement levels using Git histories and degree of interest. - Yiming Tang 002; Allan Spektor; Raffi Khatchadourian; Mehdi Bagherzadeh 001 (Sci. Comput. Program., 2022)

Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution. - Raffi Khatchadourian; Tatiana Castro Vélez; Mehdi Bagherzadeh 001; Nan Jia; Anita Raja (ASE, 2023)

µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. - Mohsen Moradi-Moghadam; Mehdi Bagherzadeh 001; Raffi Khatchadourian; Hamid Bagheri (ESEC/SIGSOFT FSE, 2023)

Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph Execution. - Raffi Khatchadourian; Tatiana Castro Vélez; Mehdi Bagherzadeh 001; Nan Jia; Anita Raja (FASE, 2025)

Safe Automated Refactoring for Efficient Migration of Imperative Deep Learning Programs to Graph Execution. - Raffi Khatchadourian; Tatiana Castro Vélez; Mehdi Bagherzadeh 001; Nan Jia; Anita Raja (CoRR, 2025)