Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Go with the flow: compositional abstractions for concurrent data structures
POPL, 2018.
@article{POPL-2018-KrishnaSW,
author = "Siddharth Krishna and Dennis E. Shasha and Thomas Wies",
doi = "10.1145/3158125",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "31",
publisher = "{ACM}",
title = "{Go with the flow: compositional abstractions for concurrent data structures}",
volume = 2,
year = 2018,
}











