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. January 2025 cover
    January 2025 Vol. 68 No. 1
  2. December 2024 CACM cover
    December 2024 Vol. 67 No. 12
  3. November 2024 CACM cover
    November 2024 Vol. 67 No. 11
  4. October 2024 CACM cover
    October 2024 Vol. 67 No. 10