The Turing Award is an annual award by the ACM “for contributions of a technical nature made to the computing community”.
See also the [IEEE John von Neumann Medal] which is more balanced between hardware and software.
IEEE John von Neumann Medal: https://en.wikipedia.org/wiki/IEEE_John_von_Neumann_Medal
Papers related to Turing Award
- Model checking: Algorithmic verification and debugging [clarke:cacm:2009]