Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen 0023, David Costanzo, Tahina Ramananandro
Certified concurrent abstraction layers
PLDI, 2018.
@inproceedings{PLDI-2018-GuSKWKS0CR,
author = "Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen 0023 and David Costanzo and Tahina Ramananandro",
booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3192366.3192381",
pages = "646--661",
publisher = "{ACM}",
title = "{Certified concurrent abstraction layers}",
year = 2018,
}