Registered user since Thu 15 May 2014

Name: Mehdi Bagherzadeh

Country: United States

Affiliation: Oakland University

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

Research interests: Correct software construction at the intersection of Programming Languages, Formal Methods and Software Engineering

SPLASH 2017 Activities

• Author of Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency within the AGERE 2017-track in AGERE 2017
• Show activities from other conferences