Andrew W. Appel – Communications of the ACM

Research and Advances Oct 1 2019

Technical Perspective: The Scalability of CertiKOS

The authors of "Building Certified Concurrent OS Kernels" illustrate that formal verification can scale up to a moderate-size program (6,500 lines of C) that has substantial shared-memory concurrency.

Computing Applications

Author Archives

Opinion Sep 1 2000

Viewpoint: Technological Access Control Interferes with Noninfringing Scholarship

Whether searches are human-assisted or computer-assisted, searching any work is fair use.

Computing Applications

Research and Advances May 1 1988

The world’s fastest Scrabble program

An efficient backtracking algorithm makes possible a very fast program to play the SCRABBLE® Brand Crossword Game. The efficiency is achieved by creating data structures before the backtracking search begins that serve both to focus the search and to make each step of the search fast.

Artificial Intelligence and Machine Learning

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved