2008 TODAES Best Paper Award
	Chao Wang, Franjo Ivancic, Arti Gupta, Zijiang Yang "For their paper Disjunctive image computation for software verification, ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 12, Issue 2, April 2007, Article No. 10."