John Hatcliff and Robby received ACM SIGSOFT Impact and ICSE 2000 Most Influential Paper (MIP) Awards