Mehdi Bagherzadeh

Registered user since Thu 15 May 2014

Name: Mehdi Bagherzadeh

Bio: Assistant Professor, Department of Computer Science and Engineering

Affiliation: Oakland University

Personal website: https://mbagherz.bitbucket.io/

Research interests: Correct construction of concurrent and big data software, at the intersection of Software Engineering and Programming Languages

Contributions

SPLASH 2010
ASE 2020Oakland University in Program Committee within the NIER track-track
SPLASH 2020Committee Member in External Review Committee within the OOPSLA-track
Committee Member in Organizing Committee within the Workshops-track
Author of Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences within the OOPSLA-track
Workshops Co-Chair in Organizing Committee
AGERE 2019Committee Member in Program Committee within the AGERE 2019-track
‹Programming› 2019Committee Member in Program Committee within the Research Papers-track
ICSE 2019Author of Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams within the Technical Track-track
AGERE 2017Author of Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency within the AGERE 2017-track
ESEC/FSE 2018Student Volunteer Co-Chair in Organizing Committee
REBLS 2016Committee Member in Program Committee within the REBLS-track
* ICSE 2018 *Author of Poster W44: Towards Safe Refactoring for Intelligent Parallelization of Java 8 Streams within the Posters -track
Modularity 2016 Author of On Ordering Problems in Message Passing Software within the Research Results-track
SPLASH 2015Author of Panini: A Concurrent Programming Model With Modular Reasoning within the Doctoral Symposium-track
AGERE!Author of Modular Reasoning in Capsule within the AGERE!-track
SPLASH 2014Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2013Committee Member in Committee within the Student Volunteers-track