Folgen
Mehdi Bagherzadeh
Mehdi Bagherzadeh
Assistant Professor 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
542011
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
502018
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
482019
Safe automated refactoring for intelligent parallelization of Java 8 streams
R Khatchadourian, Y Tang, M Bagherzadeh
Science of Computer Programming, 2020
342020
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
342019
Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference
M Bagherzadeh, H Rajan
Proceedings of the 14th international conference on Modularity, 2015
272015
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
262014
On Exceptions, Events and Observer Chains
M Bagherzadeh, H Rajan, A Darvish
Proceedings of the twelfth international conference on Aspect-oriented …, 2013
232013
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
182016
An Empirical Study on the Use and Misuse of Java 8 Streams
R Khatchadourian, Y Tang, M Bagherzadeh, B Ray
International Conference on Fundamental Approaches to Software Engineering, 2020
172020
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
132016
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
132015
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
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
11*2018
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
102011
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
92017
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
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
82018
Poster: Towards safe refactoring for intelligent parallelization of Java 8 streams
Y Tang, RT Khatchadourian, M Bagherzadeh, S Ahmed
8*2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20