The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing". Wikipedia