Protein Design by Provable Algorithms
Protein design algorithms can leverage provable guarantees of accuracy to provide new insights and unique optimized molecules.
Research and Advances
Advertisement
Consumer-Grade Fabrication and Its Potential to Revolutionize Accessibility
Digital fabrication technologies open new doors — and challenges — for real-world support.
Building Certified Concurrent OS Kernels
In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
Technical Perspective: From Virtual Worlds to Digital Fabrication
The authors of "OpenFab" propose to revisit the processing pipeline that turns a 3D model into machine instructions in light of the solutions developed in computer graphics.
Alloy: A Language and Tool for Exploring Software Designs
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
Computational Sustainability: Computing for a Better World and a Sustainable Future
Computer and information scientists join forces with other fields to help solve societal and environmental challenges facing humanity, in pursuit of a sustainable future.
Metadata-Private Communication for the 99%
Sketching the underlying system needed to facilitate metadata-private communication for several applications with a large user base.
EarSketch: Engaging Broad Populations in Computing Through Music
EarSketch leverages the appeal of music to create a learning environment that allows students to be expressive with code.
OpenFab: A Programmable Pipeline for Multimaterial Fabrication
We present OpenFab, a programmable pipeline for synthesis of multimaterial 3D printed objects that is inspired by RenderMan and modern GPU pipelines.
Scaling Static Analyses at Facebook
Key lessons for designing static analysis tools deployed to find bugs in hundreds of millions of lines of code.
Embedded EthiCS: Integrating Ethics Across CS Education
A Harvard-based pilot program integrates class sessions on ethical reasoning into courses throughout its computer science curriculum.
Activity-Centric Computing Systems
The ability to build a construct that organizes work from different devices and information resources is as complex as it is invaluable.
Tracing the tangled web of unsolicited and undesired email and possible strategies for its demise.
Heavy Hitters via Cluster-Preserving Clustering
We develop a new algorithm for the turnstile heavy hitters problem in general turnstile streams, the EXPANDERSKETCH, which finds the approximate top-k items in a universe of size n using the same asymptotic O(k log n) words of memory and O(log n) update time as the COUNTMIN and COUNTSKETCH, but requiring only O(k poly(log n)) time to answer queries instead of the O(n log n) time of the other two. The notion of "approximation" is the same l2 sense as the COUNTSKETCH, which given known lower bounds is the strongest guarantee one can achieve in sublinear memory. Our main innovation is an efficient reduction from the heavy hitters problem to a clustering problem in which each heavy hitter is encoded as some form of noisy spectral cluster in a graph, and the goal is to identify every cluster.
Technical Perspective: The True Cost of Popularity
The main focus of "Heavy Hitters via Cluster-Preserving Clustering" by Kasper Green Larsen et al. is on building up sufficient information to allow a more effective search process.
Ways of Thinking in Informatics
An innovative, entry-level informatics course enables students to ponder CS problems in different ways, from different perspectives.
Used in the design of the Internet and Unix, the layered services of the hourglass model have enabled viral adoption and deployment scalability.
Unifying Logical and Statistical AI with Markov Logic
Markov logic can be used as a general framework for joining logical and statistical AI.
Internet of Things Search Engine
Tracing the complicated yet still relatively unripe area of the Internet of Things search engine—from concepts, to classification, and open issues.
There is a need for alternative techniques for understanding and evaluating QUIC when compared with previous transport-layer protocols.
Technical Perspective: Do You Know Why Your Web Pages Load Faster?
"Taking a Long Look at QUIC," by Arash Molavi Kakhki et al., is a bold attempt to unearth the reasons why QUIC works better than TCP.
Technical Perspective: Back to the Edge
"Heterogeneous Von Neumann/Dataflow Microprocessors" describes an innovative approach to exploit both CDFG and EDGE computation models.
Reaching New Heights with Artificial Neural Networks
ACM A.M. Turing Award recipients Yoshua Bengio, Geoffrey Hinton, and Yann LeCun on the promise of neural networks, the need for new paradigms, and the concept of making technology accessible to all.
Programmable Solid-State Storage in Future Cloud Datacenters
Programmable software-defined solid-state drives can move computing functions closer to storage.
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