M
Mehdi Bagherzadeh
Researcher at Oakland University
Publications - 31
Citations - 476
Mehdi Bagherzadeh is an academic researcher from Oakland University. The author has contributed to research in topics: Concurrency & Java. The author has an hindex of 10, co-authored 31 publications receiving 341 citations. Previous affiliations of Mehdi Bagherzadeh include Iowa State University & University of Rochester.
Papers
More filters
Proceedings ArticleDOI
What do concurrency developers ask about?: a large-scale study using stack overflow
Syed Ahmed,Mehdi Bagherzadeh +1 more
TL;DR: A large-scale study on the textual content of the entirety of Stack Overflow to understand the interests and difficulties of concurrency developers and can help concurrency educators and researchers to better decide where to focus their efforts by trading off one concurrency topic against another.
Proceedings ArticleDOI
Going big: a large-scale study on what big data developers ask
TL;DR: A set of big data tags are developed to extract big data posts from Stackoverflow and topic modeling is used to group these posts into big data topics, and popularity and difficulty of topics and their correlations are analyzed.
Proceedings ArticleDOI
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces
TL;DR: This work gives a simple and understandable specification technique, translucid contracts, that not only allows programmers to write modular specifications for advice and advised code, but also allows them to reason about the code's control effects.
Proceedings ArticleDOI
Panini: a concurrent programming model for solving pervasive and oblivious interference
Mehdi Bagherzadeh,Hridesh Rajan +1 more
TL;DR: This work formalizes Panini, presents its semantics and illustrates how its interference model, using behavioral contracts, enables Hoare-style modular reasoning about concurrent programs with interference.
Proceedings ArticleDOI
AspectJML: modular specification and runtime checking for crosscutting contracts
Henrique Rebêlo,Gary T. Leavens,Mehdi Bagherzadeh,Hridesh Rajan,Ricardo Lima,Daniel M. Zimmerman,Márcio Cornélio,Thomas Thüm +7 more
TL;DR: AspectJML, a new specification language that supports crosscutting contracts for Java code, is introduced and it is shown how the main DbC principles of modular reasoning and contracts as documentation are supported.