Recipient Scott Stoller Award Year 2005 Award Detail Haifa Verification Conference Award Name Best Paper Award Role Faculty