Effective Bug Detection with Unused Definitions.

Li Zhong, Chengcheng Xiang, Haochen Huang, Bingyu Shen, Eric Mugnier, Yuanyuan Zhou

Browse the full EuroSys paper archive.