Scalable and precise program analysis at NEC

Malay K. Ganai
Aarti Gupta
Vineet Kahlon
Weihong Li
Naoto Maeda
Nadia Papakonstantinou
Sriram Sankaranarayanan
Nishant Sinha
Chao Wang
FMCAD (2010), pp. 273-274

Abstract