Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone together: compositional reasoning and inference for weak isolation
POPL, 2018.
@article{POPL-2018-KakiNNJ,
author = "Gowtham Kaki and Kartik Nagar and Mahsa Najafzadeh and Suresh Jagannathan",
doi = "10.1145/3158115",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "34",
publisher = "{ACM}",
title = "{Alone together: compositional reasoning and inference for weak isolation}",
volume = 2,
year = 2018,
}