Kasikci will sift through the byproducts of hundreds of millions of common program executions to determine how this data can automate some key steps in bug finding and fixing.