December 2018 - Vol. 61 No. 12

December 2018 issue cover image

Features

Opinion Letters to the editor

Reclaim Internet Greatness

Vinton G. Cerf's "The Internet in the 21st Century" (Sept. 2018) highlighted many challenges facing today's Internet. The fundamental issue becomes what changes are warranted and who will be responsible for defining and administering them.
Research and Advances Research highlights

Bringing the Web Up to Speed with WebAssembly

WebAssembly is the first mainstream language designed from the start with a formal semantics. It not only demonstrates the feasibility of applying formal techniques, but also that they lead to a remarkably clean and simple design.

Recent Issues

  1. August 2025 cover
    August 2025 Vol. 68 No. 8
  2. July 2025 cover
    July 2025 Vol. 68 No. 7
  3. June 2025 CACM cover
    June 2025 Vol. 68 No. 6
  4. May 2025 CACM cover
    May 2025 Vol. 68 No. 5