Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mahsa Najafzadeh
conf.researchr.org general profile
POPL 2016 profile
POPL 2018 profile
Not registered as user
Name:
Mahsa Najafzadeh
Affiliation:
Purdue University
Contributions
2018
POPL
Author of Alone Together: Compositional Reasoning and Inference for Weak Isolation within the Research Papers-track
VMCAI
Author of Co-Design and Verification of an Available File System within the VMCAI 2018-track
2016
POPL
Author of 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems within the Research Papers-track
Share
x
Sat 21 Dec 19:26