Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMehdi Bagherzadeh 0001
Person information
- affiliation: Oakland University, Rochester, MI, USA
- affiliation (PhD 2016): Iowa State University, Ames, IA, USA
Other persons with the same name
- Mehdi Bagherzadeh 0002
![[0000-0003-1765-3975]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1765-3975")
— NEOMA Business School, Reims, France (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c24]Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja:
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution. ASE 2023: 1800-1802- [c23]Mohsen Moradi-Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, Hamid Bagheri:
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. ESEC/SIGSOFT FSE 2023: 262-274 - [i5]Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja:
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution. CoRR abs/2308.11785 (2023) - 2022
- [j4]Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh:
Automated evolution of feature logging statement levels using Git histories and degree of interest. Sci. Comput. Program. 214: 102724 (2022) - [c22]Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh:
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest. ICSE-Companion 2022: 21-25 - [c21]Tatiana Castro Vélez, Raffi Khatchadourian, Mehdi Bagherzadeh, Anita Raja:
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study. MSR 2022: 469-481 - [i4]Tatiana Castro Vélez, Raffi Khatchadourian, Mehdi Bagherzadeh, Anita Raja:
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study. CoRR abs/2201.09953 (2022) - 2021
- [c20]Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Rhia Singh, Ajani Stewart, Anita Raja:
An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems. ICSE 2021: 238-250 - [i3]Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh:
Automated Evolution of Feature Logging Statement Levels Using Git Histories and Degree of Interest. CoRR abs/2104.07736 (2021) - [i2]Mehdi Bagherzadeh, Syed Ahmed, Srilakshmi Sripathi, Raffi Khatchadourian:
Interests, Difficulties, Sentiments, and Tool Usages of Concurrency Developers: A Large-Scale Study on Stack Overflow. CoRR abs/2109.03138 (2021) - [i1]Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh:
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest. CoRR abs/2112.02758 (2021) - 2020
- [j3]Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, Raffi Khatchadourian:
Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences. Proc. ACM Program. Lang. 4(OOPSLA): 214:1-214:32 (2020) - [j2]Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh:
Safe automated refactoring for intelligent parallelization of Java 8 streams. Sci. Comput. Program. 195: 102476 (2020) - [c19]Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray:
An Empirical Study on the Use and Misuse of Java 8 Streams. FASE 2020: 97-118
2010 – 2019
- 2019
- [c18]Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed:
Safe automated refactoring for intelligent parallelization of Java 8 streams. ICSE 2019: 619-630 - [c17]Mehdi Bagherzadeh, Raffi Khatchadourian:
Going big: a large-scale study on what big data developers ask. ESEC/SIGSOFT FSE 2019: 432-442 - 2018
- [c16]Syed Ahmed, Mehdi Bagherzadeh:
What do concurrency developers ask about?: a large-scale study using stack overflow. ESEM 2018: 30:1-30:10 - [c15]Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Syed Ahmed:
Towards safe refactoring for intelligent parallelization of Java 8 streams. ICSE (Companion Volume) 2018: 206-207 - [c14]Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Syed Ahmed:
[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring. SCAM 2018: 34-39 - 2017
- [c13]Mehdi Bagherzadeh, Hridesh Rajan:
Order types: static reasoning about message races in asynchronous message passing concurrency. AGERE!@SPLASH 2017: 21-30 - 2016
- [j1]Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan:
Modular Reasoning in the Presence of Event Subtyping. LNCS Trans. Modul. Compos. 1: 167-223 (2016) - [c12]Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, Hridesh Rajan:
On ordering problems in message passing software. MODULARITY 2016: 54-65 - 2015
- [c11]Mehdi Bagherzadeh, Hridesh Rajan:
Panini: a concurrent programming model for solving pervasive and oblivious interference. MODULARITY 2015: 93-108 - [c10]Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan:
Modular reasoning in the presence of event subtyping. MODULARITY 2015: 117-132 - [c9]Mehdi Bagherzadeh:
Panini: a concurrent programming model with modular reasoning. SPLASH (Companion Volume) 2015: 30-32 - 2014
- [c8]Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) 2014: 21-24 - [c7]Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY 2014: 157-168 - 2013
- [c6]Mehdi Bagherzadeh, Hridesh Rajan, Mohammad Ali Darvish Darab:
On exceptions, events and observer chains. AOSD 2013: 185-196 - 2011
- [c5]Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh:
Modularizing crosscutting concerns with Ptolemy. AOSD (Companion) 2011: 61-62 - [c4]Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney:
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. AOSD 2011: 141-152 - [c3]Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer:
Applying translucid contracts for modular reasoning about aspect and object oriented events. FOAL 2011: 31-35 - 2010
- [c2]Mehdi Bagherzadeh:
Enabling expressive aspect oriented modular reasoning by translucid contracts. SPLASH/OOPSLA Companion 2010: 227-228 - [c1]Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney:
Translucid contracts for modular reasoning about aspect-oriented programs. SPLASH/OOPSLA Companion 2010: 245-246
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-03 02:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
