Certified concurrent abstraction layers.

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jrmie Koenig, Vilhelm Sjberg, Hao Chen, David Costanzo, Tahina Ramananandro

Browse the full PLDI paper archive.