Jon Bentley
Programming pearls: Writing correct programs
In the late 1960s people were talking about the promise of programs that verify the correctness of other programs. Unfortunately, it is now the middle of the 1980s, and,…
Programming pearls: Aha algorithms
The study of algorithms has much to offer the practicing programmer. After just a course or two on the subject, students take away algorithms for solving many important…
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