Mehdi Bagherzadeh

email: mbagherzadeh@oakland.edu
office: 542 Engineering Center

Ph.D., Iowa State University, 2016

Laboratory for Correct Software

Conferences

Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Syed Ahmed Safe Automated Refactoring for Intelligent Parallelization of Java 8 streams ICSE'19: 41st International Conference on Software Engineering, 2019, Technical Track

Syed Ahmed and Mehdi Bagherzadeh, What Do Concurrency Developers Ask About? A Large-scale Study Using Stack Overflow, ESEM'18: 12th International Symposium on Empirical Software Engineering and Measurement, 2018

Distinguished Paper Award          Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Syed Ahmed A Tool for Optimizing Java 8 Stream Software via Automated Refactoring, SCAM'18: 18th International Working Conference on Source Code Analysis and Manipulation, 2018

Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya and Hridesh Rajan, " On Ordering Problems in Message Passing Software", Modularity'16: 15th International Conference on Modularity, Malaga, Spain, March 2016

Best Papers of Modularity'15          Mehdi Bagherzadeh and Hridesh Rajan, Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference, Modularity'15: 14th International Conference on Modularity, Fort Collins, Colorado, USA, March 2015

Best Papers of Modularity'15          Mehdi Bagherzadeh Robert Dyer, Rex D. Fernando, Jose Sanchez and Hridesh Rajan, Modular Reasoning in the Presence of Event Subtyping, Modularity'15: 14th International Conference on Modularity, Fort Collins, Colorado, USA, March 2015

Henrique Rebelo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel Zimmerman, Marcio Cornelio and Thomas Thum, "AspectJML: Modular Specfication and Runtime Checking for Crosscutting Contracts", Modularity'14: 13th International Conference on Modularity, Lugano, Switzerland, April 2014

Mehdi Bagherzadeh, Hridesh Rajan and Ali Darvish, "On Exceptions, Events and Observer Chains", AOSD'13: 12th International Conference on Aspect Oriented Software Development, Fukuoka, Japan, March 2013

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean Mooney, "Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces", AOSD'11: 10th International Conference on Aspect Oriented Software Development, Porto de Galinhas, Pernambuco, Brazil, March 2011

Journals

Mehdi Bagherzadeh Robert Dyer, Rex D. Fernando, Jose Sanchez and Hridesh Rajan, " Modular Reasoning in the Presence of Event Subtyping", TOMC'16: Transactions on Modularity and Composition, special edition: Best papers of Modularity'15, 2016

Workshops

Mehdi Bagherzadeh and Hridesh Rajan, Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency , AGERE'17: 7th International Workshop on Programming based on Actors, Agents, and Decentralized Control, 2017.

Mehdi Bagherzadeh, Gary T. Leavens, and Robert Dyer, Applying Translucid Contracts for Modular Reasoning About Aspect and Object Oriented Events, FOAL '11: Workshop on Foundations of Aspect-Oriented Languages workshop, March, 2011.

Mehdi Bagherzadeh, Hridesh Rajan, and Gary T. Leavens, Translucid Contracts for Aspect-oriented Interfaces, FOAL '10: Workshop on Foundations of Aspect-Oriented Languages workshop, March, 2010.

Robert Dyer, Mehdi Bagherzadeh, Hridesh Rajan, and Yuanfang Cai, A Preliminary Study of Quantified, Typed Events, ESCOT ’10: Workshop on Empirical Evaluation of Software Composition Techniques, March, 2010.

Posters and extended abstracts

Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, and Syed Ahmed, Towards safe refactoring for intelligent parallelization of Java 8 streams, ICSE '18: 40th International Conference on Software Engineering, 2018

Mehdi Bagherzadeh, Panini: A concurrent programming model with modular reasoning, SPLASH '15: International Conference on Systems, Programming, Languages and Applications: Software for Humanity, 2015

Henrique Rebelo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Marcio Cornelio, and Thomas Thum, Modularizing crosscutting contracts with AspectJML, Modularity '14: 13th International Conference on Modularity, 2014

Hridesh Rajan, Gary T. Leavens, Robert Dyer, and Mehdi Bagherzadeh, Modularizing cross-cutting concerns with ptolemy, AOSD '11: 10th International Conference on Aspect-oriented Software Development, 2011

Mehdi Bagherzadeh, Enabling expressive aspect oriented modular reasoning by translucid contracts, OOPSLA '10: International Conference Companion on Object Oriented Programming Systems Languages and Applications, 2010

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, and Sean Mooney, Translucid contracts for modular reasoning about aspect-oriented programs, OOPSLA '10: International Conference Companion on Object Oriented Programming Systems Languages and Applications, 2010

Technical reports and theses

Mehdi Bagherzadeh. Toward a concurrent programming model with modular reasoning. PhD thesis, Iowa State University, Iowa, USA, 2016

Yuheng Long, Mehdi Bagherzadeh and Hridesh Rajan, Open effects: Programmer-guided effects for open world concurrent programs, Technical Report 13-04, Department of Computer Science, Iowa State University, 2013

Mehdi Bagherzadeh, Rober Dyer, Yuheng Long, and Hridesh Rajan, Instance-level quantified, typed events for integrated system design , Technical Report 08-15, Iowa State University, 2008