Extracting Conditional Formulas for Cross-Platform Bug Search.

Qian Feng, Minghua Wang, Mu Zhang, Rundong Zhou, Andrew Henderson, Heng Yin

Browse the full CCS paper archive.