Mehdi Bagherzadeh
Mehdi Bagherzadeh
Assistant Professor, Dept. of Computer Science & Engineering, Oakland University
Verified email at oakland.edu - Homepage
TitleCited byYear
Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces
M Bagherzadeh, H Rajan, GT Leavens, S Mooney
Proceedings of the tenth international conference on Aspect-oriented†…, 2011
502011
Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference
M Bagherzadeh, H Rajan
Proceedings of the 14th international conference on Modularity, 2015
232015
AspectJML: modular specification and runtime checking for crosscutting contracts
H RebÍlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the 13th international conference on Modularity, 157-168, 2014
202014
On Exceptions, Events and Observer Chains
M Bagherzadeh, H Rajan, A Darvish
Proceedings of the twelfth international conference on Aspect-oriented†…, 2013
202013
Modular reasoning in the presence of event subtyping
M Bagherzadeh, R Dyer, RD Fernando, J SŠnchez, H Rajan
Transactions on Modularity and Composition, special edition: Best papers of†…, 2016
122016
On Ordering Problems in Message Passing Software
Y Long, M Bagherzadeh, E Lin, G Upadhyaya, R Hridesh
Proceedings of the 15th International Conference on Modularity, 2016
122016
Modular reasoning in the presence of event subtyping
M Bagherzadeh, R Dyer, RD Fernando, H Rajan, J SŠnchez
Proceedings of the 14th international conference on Modularity, 2015
122015
Modularizing crosscutting contracts with AspectJML
H RebÍlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the 13th international conference on Modularity, 21-24, 2014
122014
Translucid contracts for aspect-oriented interfaces
M Bagherzadeh, H Rajan, GT Leavens, S Mooney
the Foundations of Aspect-Oriented Languages workshop (FOAL 2010), 2010
122010
A Preliminary Study of Quantified, Typed Events
R Dyer, M Bagherzadeh, H Rajan, Y Cai
AOSD Workshop Empirical Evaluation of Software Composition Techniques, 2010
92010
Applying translucid contracts for modular reasoning about aspect and object oriented events
M Bagherzadeh, GT Leavens, R Dyer
Proceedings of the 10th international workshop on Foundations of aspect†…, 2011
72011
Safe automated refactoring for intelligent parallelization of Java 8 streams
R Khatchadourian, Y Tang, M Bagherzadeh, S Ahmed
Proceedings of the 41st International Conference on Software Engineering†…, 2019
42019
What Do Concurrency Developers Ask About? A Large-scale Study Using Stack Overflow
S Ahmed, M Bagherzadeh
12th International Symposium on Empirical Software Engineering and Measurement, 2018
42018
Modularizing crosscutting concerns with Ptolemy
H Rajan, GT Leavens, R Dyer, M Bagherzadeh
Proceedings of the tenth international conference on Aspect-oriented†…, 2011
42011
Translucid contracts for modular reasoning about aspect-oriented programs
M Bagherzadeh, H Rajan, GT Leavens, S Mooney
Proceedings of the ACM international conference companion on Object oriented†…, 2010
42010
Towards safe refactoring for intelligent parallelization of Java 8 streams
Y Tang, R Khatchadourian, M Bagherzadeh, S Ahmed
Proceedings of the 40th International Conference on Software Engineering†…, 2018
32018
Poster: Towards safe refactoring for intelligent parallelization of Java 8 streams
Y Tang, RT Khatchadourian, M Bagherzadeh, S Ahmed
3*2018
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
M Bagherzadeh, H Rajan
7th International Workshop on Programming based on Actors, Agents, and†…, 2017
32017
Quantification of sequential consistency in actor-like systems: An exploratory study
Y Long, M Bagherzadeh, E Lin, G Upadhyaya, H Rajan
32014
A Tool for Optimizing Java 8 Stream Software via Automated Refactoring
R Khatchadourian, Y Tang, M Bagherzadeh, S Ahmed
18th International Working Conference on Source Code Analysis and Manipulation, 2018
2*2018
The system can't perform the operation now. Try again later.
Articles 1–20