One question people ask me as President is how ACM — as a global, volunteer-based organization — can evolve over time. Does it evolve to keep up with changes going on in our profession?
Cherri M. Pancake Page 5DEPARTMENT: Cerf's up
Summarizing some of the changes that seem increasingly necessary to address known system and network deficiencies and anticipate currently unknown vulnerabilities.
Peter G. Neumann Pages 23-25COLUMN: Kode Vicious
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.
Ryen W. White, Adam Fourney, Allen Herring, Paul N. Bennett, Nirupama Chandrasekaran, Robert Sim, Elnaz Nouri, Mark J. Encarnación Pages 28-31SECTION: Practice
When properly secured, anonymized, and optimized for research, administrative data can be put to work to help government programs better serve those in need.
Justine S. Hastings, Mark Howison, Ted Lawless, John Ucles, Preston White Pages 48-53
To address the computational challenges that arise when planning for robotic systems, traditional CS algorithms, tools, and paradigms must be revisited.
Oren Salzman Pages 54-63SECTION: Review articles
The authors of "Building Certified Concurrent OS Kernels" illustrate that formal verification can scale up to a moderate-size program (6,500 lines of C) that has substantial shared-memory concurrency.
Andrew W. Appel Page 88
In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo Pages 89-99COLUMN: Last byte