Unlocking data to improve public policy.
AI is not an excuse!
Consumer-grade fabrication and its potential to revolutionize accessibility.
Dust wars.
Sampling-based robot motion planning.
The CS teacher shortage.
Multi-device digital assistance.
Pinning down variables, and taking an agile approach.
How ACM evolves in response to community needs.
Technical Perspective: The scalability of CertiKOS.
The evolution of management.
How might we increase system trustworthiness?
Protecting industrial control systems.
The cloud as an innovation platform for software development.
Protein design by provable algorithms.
Open source firmware.
Demo data as code.
What is a chief security officer good for?
Building certified concurrent OS kernels.
Closing in on quantum error correction.