Information and communication technology patents are more influential on subsequent inventions than are other types of patents.
Research and Advances
Advertisement
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.
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.
Unexpected Power of Low-Depth Arithmetic Circuits
Several earlier results have shown that it is possible to rearrange basic computational elements in surprising ways to give more efficient algorithms. The main result of this article is along a similar vein.
Technical Perspective: Low-Depth Arithmetic Circuits
The past few years have seen a revolution in our understanding of arithmetic circuits. "Unexpected Power of Low-Depth Arithmetic Circuits" by Gupta et al. on the "chasm at depth 3" is one of the culminations of this new understanding.
Exploiting Vector Instructions with Generalized Stream Fusion
Programmers should not have to sacrifice code clarity or good software engineering practices to obtain performance. This work shows how to attain this goal for high-level Haskell in the domain of sequence-processing functions.
Technical Perspective: Functional Compilers
"Exploiting Vector Instructions with Generalized Stream Fusion" points out that stream fusion by itself is not well suited for generating bulk instructions such as vector or SIMD instructions.
DeepDive: Declarative Knowledge Base Construction
We describe DeepDive, a system that combines database and machine learning ideas to help to develop knowledge base construction systems.
Technical Perspective: Building Knowledge Bases from Messy Data
"DeepDive: Declarative Knowledge Base Construction" is a prime example of groundbreaking work in the area of Knowledge Base Construction.
User attitudes toward online intellectual property reveal how far social norms have strayed from legal notions of ownership.
Responsible Research and Innovation in the Digital Age
RRI requires doing the best science for the world, not only the best science in the world.
Computational Thinking For Teacher Education
This framework for developing pre-service teachers' knowledge does not necessarily depend on computers or other educational technology.
Attack of the Killer Microseconds
Microsecond-scale I/O means tension between performance and productivity that will need new latency-mitigating ideas, including in hardware.
A Service Computing Manifesto: The Next 10 Years
Mapping out the challenges and strategies for the widespread adoption of service computing.
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