October 2023 - Vol. 66 No. 10

October 2023 CACM cover

Features

Opinion

Barbershop Computing

Moving education beyond computer science pipelines.
Research

Generating and Exploiting Automated Reasoning Proof Certificates

Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.

Recent Issues

  1. November 2024 CACM cover
    November 2024 Vol. 67 No. 11
  2. October 2024 CACM cover
    October 2024 Vol. 67 No. 10
  3. September 2024 CACM cover
    September 2024 Vol. 67 No. 9
  4. August 2024 CACM cover
    August 2024 Vol. 67 No. 8