Mehdi Bagherzadeh

According to our database1, Mehdi Bagherzadeh authored at least 21 papers between 2010 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Safe automated refactoring for intelligent parallelization of Java 8 streams.
Sci. Comput. Program., 2020

Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences.
Proc. ACM Program. Lang., 2020

An Empirical Study on the Use and Misuse of Java 8 Streams.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Going big: a large-scale study on what big data developers ask.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Safe automated refactoring for intelligent parallelization of Java 8 streams.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Towards safe refactoring for intelligent parallelization of Java 8 streams.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

What do concurrency developers ask about?: a large-scale study using stack overflow.
Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

2017
Order types: static reasoning about message races in asynchronous message passing concurrency.
Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, 2017

2016
Modular Reasoning in the Presence of Event Subtyping.
LNCS Trans. Modul. Compos., 2016

On ordering problems in message passing software.
Proceedings of the 15th International Conference on Modularity, 2016

2015
Panini: a concurrent programming model with modular reasoning.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Panini: a concurrent programming model for solving pervasive and oblivious interference.
Proceedings of the 14th International Conference on Modularity, 2015

2014
AspectJML: modular specification and runtime checking for crosscutting contracts.
Proceedings of the 13th International Conference on Modularity, 2014

Modularizing crosscutting contracts with AspectJML.
Proceedings of the 13th International Conference on Modularity, 2014

2013
On exceptions, events and observer chains.
Proceedings of the Aspect-Oriented Software Development, 2013

2011
Applying translucid contracts for modular reasoning about aspect and object oriented events.
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Modularizing crosscutting concerns with Ptolemy.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Translucid contracts for modular reasoning about aspect-oriented programs.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Enabling expressive aspect oriented modular reasoning by translucid contracts.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010


  Loading...