Mehdi Bagherzadeh
Mehdi Bagherzadeh
Assistant Professor, Dept. of Computer Science, Oakland University
Bestätigte E-Mail-Adresse bei oakland.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
522011
Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference
M Bagherzadeh, H Rajan
Proceedings of the 14th international conference on Modularity, 2015
262015
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
232014
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
222018
On Exceptions, Events and Observer Chains
M Bagherzadeh, H Rajan, A Darvish
Proceedings of the twelfth international conference on Aspect-oriented …, 2013
222013
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
152016
Safe automated refactoring for intelligent parallelization of Java 8 streams
R Khatchadourian, Y Tang, M Bagherzadeh
Science of Computer Programming, 2020
142020
Safe automated refactoring for intelligent parallelization of Java 8 streams
R Khatchadourian, Y Tang, M Bagherzadeh, S Ahmed
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
142019
Going big: a large-scale study on what big data developers ask
M Bagherzadeh, R Khatchadourian
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
132019
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
132014
Translucid contracts for aspect-oriented interfaces
M Bagherzadeh, H Rajan, GT Leavens, S Mooney
the Foundations of Aspect-Oriented Languages workshop (FOAL 2010), 2010
132010
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
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
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
82011
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
52017
Modularizing crosscutting concerns with Ptolemy
H Rajan, GT Leavens, R Dyer, M Bagherzadeh
Proceedings of the tenth international conference on Aspect-oriented …, 2011
52011
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
42018
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
4*2018
Poster: Towards safe refactoring for intelligent parallelization of Java 8 streams
Y Tang, RT Khatchadourian, M Bagherzadeh, S Ahmed
4*2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20