Systems and Networking
Advertisement
Research For Practice: Tracing and Debugging Distributed Systems; Programming By Examples
Expert-curated guides to the best of CS research.
Ironfleet: Proving Safety and Liveness of Practical Distributed Systems
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."
Technical Perspective: Building a Better Hash Function
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.
Fast and Powerful Hashing Using Tabulation
We survey recent results on how simple hashing schemes based on tabulation provide unexpectedly strong guarantees.
Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties
"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.
Inference and Auction Design in Online Advertising
Econometrics is a key component to gauging user satisfaction and advertisers' profits.
A robust and resilient Internet of Things framework is critical for future progress. New and emerging concepts may illuminate the path.
Engineering technology courses at community colleges are serving as a pathway to STEM (science, technology, engineering, mathematics) degrees and jobs.
The Soft Side of Quantum Computing
Future quantum computers will need software tailored to their specific ways of operating.
Sir Tim Berners-Lee created a paradigm shift that changed the world with his invention of the World Wide Web, Hypertext Transport Protocol, and Hypertext Markup Language.
Optimization Search Finds a Heart of Glass
Analog computing could provide greater efficiency, improved digital algorithms.
The Scion Internet Architecture
Adhering to the end-to-end principle even more than the current Internet yields highly available point-to-point communication.
The Dynamics of Work-Family Conflict
Conflict is averted by separating work and family time and responsibility, as reflected in millions of tweets.
Sir Tim Berners-Lee on the formative years of the world wide web, and the challenges it now faces.
Learnable Programming: Blocks and Beyond
New blocks frameworks open doors to greater experimentation for novices and professionals alike.
Technical Perspective: What Led Computer Vision to Deep Learning?
We are in the middle of the third wave of interest in artificial neural networks as the leading paradigm for machine learning. "ImageNet Classification with Deep Convolutional Neural Networks" is the paper most responsible for this third wave.
ImageNet Classification with Deep Convolutional Neural Networks
In the 1980s backpropagation did not live up to the very high expectations of its advocates. Twenty years later, we know what went wrong: for deep neural networks to shine, they need far more labeled data and hugely more computation.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More