Issue Downloads
Pinning down variables, and taking an agile approach
The Communications Web site, http://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts.
Follow us on Twitter at http://twitter.com/blogCACM
http://...
Closing in on quantum error correction
Quantum computers will only become practical when they implement quantum error correction.
Protecting industrial control systems
Finding, and plugging, the security holes in SCADA.
The CS teacher shortage
How can we fill more computer science classrooms when there just aren't enough teachers to go around?
The cloud as an innovation platform for software development
How cloud computing became a platform.
How might we increase system trustworthiness?
Summarizing some of the changes that seem increasingly necessary to address known system and network deficiencies and anticipate currently unknown vulnerabilities.
What is a chief security officer good for?
Security requires more than an off-the-shelf solution.
Multi-device digital assistance
- Ryen W. White,
- Adam Fourney,
- Allen Herring,
- Paul N. Bennett,
- Nirupama Chandrasekaran,
- Robert Sim,
- Elnaz Nouri,
- Mark J. Encarnación
Increased availability of cloud services and ownership of multiple digital devices create unique opportunities for digital assistants to provide guidance across a range of tasks and scenarios.
Open source firmware
Step into the world behind the kernel.
Unlocking data to improve public policy
When properly secured, anonymized, and optimized for research, administrative data can be put to work to help government programs better serve those in need.
Sampling-based robot motion planning
To address the computational challenges that arise when planning for robotic systems, traditional CS algorithms, tools, and paradigms must be revisited.
Consumer-grade fabrication and its potential to revolutionize accessibility
Digital fabrication technologies open new doors---and challenges---for real-world support.
Protein design by provable algorithms
Protein design algorithms can leverage provable guarantees of accuracy to provide new insights and unique optimized molecules.
Building certified concurrent OS kernels
- Ronghui Gu,
- Zhong Shao,
- Hao Chen,
- Jieung Kim,
- Jérémie Koenig,
- Xiongnan (Newman) Wu,
- Vilhelm Sjöberg,
- David Costanzo
Operating system (OS) kernels form the backbone of system software. They can have a significant impact on the resilience and security of today's computers. Recent efforts have demonstrated the feasibility of formally verifying simple general-purpose ...
Dust wars
Considering willful approaches to a golden opportunity.