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]