A Certified Thread Library for Multithreaded User Programs.

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

Browse the full TASE paper archive.