Daniel gave an award keynote at FSE in Seattle with Mandana Vaziri, following their receiving the SIGSOFT Impact award for their 2001 paper on using SAT to find bugs in code