1. A computer-implemented method comprising: computing, by one or more computing devices, one or more dynamic hints based on a finite set of executions of a computer program; and performing, by the one or more computing devices, a hybrid dependence analysis of one or more statements of the computer program.