Collaborated with:G.Kaki K.Nagar S.Jagannathan A.Gotsman H.Yang Carla Ferreira 0001 Marc Shapiro 0001
Talks about:reason (2) distribut (1) composit (1) consist (1) togeth (1) system (1) strong (1) enough (1) infer (1) choic (1)
Person: Mahsa Najafzadeh
DBLP: Najafzadeh:Mahsa
Contributed to:
20162018Wrote 2 papers:
- POPL-2016-GotsmanYFNS #consistency #distributed #reasoning
- 'Cause I'm strong enough: reasoning about consistency choices in distributed systems (AG, HY, CF0, MN, MS0), pp. 371–384.
- POPL-2018-KakiNNJ #composition #reasoning
- Alone together: compositional reasoning and inference for weak isolation (GK, KN, MN, SJ), p. 34.