SPLASH 2017 (series) / 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
Contributions
| AGERE 2017 | Author of Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency within the AGERE 2017-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2017-profile
View general profile
View general profile