Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mehdi Bagherzadeh

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


AGERE 2017 Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Show activities from other conferences

SPLASH 2017-profile
View general profile