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…
Technical Perspective: The Scalability of CertiKOS
Viewpoint: Technological Access Control Interferes with Noninfringing Scholarship
The world’s fastest Scrabble program
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