Reducing Extension Edges of Concurrent Programs for Reachability Analysis.

Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao

Browse the full COCOA paper archive.