Advertisement

Opinion

Science Has Only Two Legs

Science has been growing new legs of late. The traditional "legs" (or "pillars") of the scientific method were theory and experimentation. Computational science has been called the 'third pillar' of scientific inquiry, and has been recently augmented by yet a "fourth paradigm."
BLOG@CACM

The First ACM Symposium on Cloud Computing (SoCC)

Earlier this summer the first ACM Symposium on Cloud Computing was held in Indianapolis, Indiana. With three stellar keynotes and an exceptional program, the inaugural symposium was a success. Next year's SoCC will be co-located with SOSP in Portugal, and the CFP is already up at http://socc2011.gsd.inesc-id.pt/call-for-papers.
Research and Advances

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.

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

Communications of the ACM (CACM) is now a fully Open Access publication.

By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.

Learn More