August 2010 - Vol. 53 No. 8

August 2010 issue cover image

Features

Opinion Letters to the editor

CS Expertise For Institutional Review Boards

IRBs need computer scientists, a point highlighted by the Viewpoint "Institutional Review Boards and Your Research" by Simson L. Garfinkel and Lorrie Faith Cranor (June 2010). The column was timely but also somewhat misleading.
Research and Advances Research highlights

Reasoning About the Unknown in Static Analysis

Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as nondeterministic choices made by the program's execution environment, it is still possible to glean very useful information about how such statically unknown values may or must influence computation.

Recent Issues

  1. June 2025 CACM cover
    June 2025 Vol. 68 No. 6
  2. May 2025 CACM cover
    May 2025 Vol. 68 No. 5
  3. April 2025 CACM cover
    April 2025 Vol. 68 No. 4
  4. March 2025 cover
    March 2025 Vol. 68 No. 3