Communications of the ACM
Refine your search:
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]
Nitrd 20: A Day in Your Life
Progress in information technology over the past 20 years has dramatically changed our lives — in our daily routine, at play, and at work.
From [email protected]
Happy 20th Birthday to Nitrd!
The theme of NITRD's 20th birthday symposium was to recognize that in just 20 years, computing research has made astounding progress and has had an astounding impact...
From [email protected]
A Futuristic Health It Scenario
Our technology is the change agent for healthcare in the future.
From [email protected]
Connecting Science to Society
As America debates how to get through these tough economic times, research funding for science and engineering may get lost in the clamor. Here are some suggestions...
From [email protected]
Yes, Computer Scientists Are Hypercritical
Are computer scientists hypercritical? Are we more critical than scientists and engineers in other disciplines? Some numbers from the National Science Foundation...
From [email protected]
Call to Arms: Science and Engineering For Privacy
It is our responsibility as scientists and engineers to understand what can or cannot be done from a technical point of view on privacy.
From [email protected]
Talking with Pcast
I told three stories at PCAST — The Google Story, Model Checking, and Machine Learning — as a way to illustrate the importance of sustained federal funding of basic...
From [email protected]
Why Peer Review Matters
At the most recent Snowbird conference, there was a plenary session during which the panelists and audience discussed the peer review processes in computing research...
From [email protected]
Breaking the Cycle
Today's practice of a deadline-driven approach to research is potentially bad for our field. Instead, our focus should be on the quality of the research we do....
From [email protected]
Windmills in the Water
A call to the computer science community for what a research agenda might look like for the role of information and communications technologies in energy, the environment...
From [email protected]
In February, President Obama pegged Melissa Hathaway of the National Security Council to do a 60-day review of the nation’s cybersecurity policy. Midway through...
From [email protected]