It is with great pleasure that I take the helm as the ninth Editor-in-Chief of Communications, the flagship publication and ACM's vessel for the most important and interesting happenings across the field of computing.

While this is not intended to be a dystopian rant, I feel strongly motivated to draw attention to the fragile and interdependent future we are creating through the use of programmable devices and systems.

Undergraduates who understand the importance of computer science have been expanding the CS student cohort for more than a decade.

Analog circuits consume less power per operation than CMOS technologies, and so should prove more efficient.

Researchers are tapping DNA to create a new and different type of storage media. The technology could prove revolutionary.

Flush with recent successes, and pushed by even newer technology, AI systems could get much smarter.

Jean E. Sammet, an American computer scientist who served as the first female president of ACM, passed away on May 21 at the age of 89.

Recent attacks exploiting a known vulnerability continue a downward spiral of ransomware-related incidents.

Seeking multidisciplinary research into the rapidly evolving gig-economy.

We all need to learn to be expert beginners.

Recommendations for a successful nomination process.

One system's side effect is another's meat and potatoes.

An improvement over UML.

Expert-curated guides to the best of CS research.

Explore the limits of using the computer to imagine yourself as whomever or whatever you want to be.

Information and communication technology patents are more influential on subsequent inventions than are other types of patents.

Econometrics is a key component to gauging user satisfaction and advertisers' profits.

"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial distributed services: A Paxos-based library to support replication and a shared key-value store.

We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our methodology and lessons learned, we aim to raise the standard for distributed systems from "tested" to "correct."

In "Fast and Powerful Hashing Using Tabulation," Mikkel Thorup describes a variation of simple but surprisingly effective and powerful hash functions based on using small tables of random hash values.

We survey recent results on how simple hashing schemes based on tabulation provide unexpectedly strong guarantees.

You have three covered boxes of Burmese rubies before you. You know there are a total of 30 identical seven-carat rubies in the three boxes.