Connected Things Connecting Europe
Modern embedded system microcontroller and transceiver technology advancements have brought forth the kinds of systems we have defined for some time in Europe as "embedded intelligence."
Research and Advances
Advertisement
Work in finance, marketing, human resources, and operations increasingly relies on analytics—with more to come.
Fully Device Independent Quantum Key Distribution
We rigorously provide the device-independent security of an entanglement-based protocol building on Ekert's original proposal for quantum key distribution.
Technical Perspective: Was Edgar Allan Poe Wrong After All?
Umesh Vazirani and Thomas Vidick's "Fully Device Independent Quantum Key Distribution" provides an unexpectedly simple and elegant secure protocol solution, indeed one that is almost within reach of current technology.
Technical Perspective: Borrowing Big Code to Automate Programming Activities
"Predicting Program Properties from 'Big Code'" presents new techniques for leveraging big code to automate two programming activities: selecting understandable names for JavaScript identifiers and generating type annotations for JavaScript variables.
The Compositional Architecture of the Internet
A new model for describing the Internet reflects today's reality and the future's needs.
Blogging Birds: Telling Informative Stories About the Lives of Birds from Telemetric Data
The system transforms raw telemetric data into engaging and informative blog texts readily understood by all.
The Seven Tools of Causal Inference, with Reflections on Machine Learning
The kind of causal inference seen in natural human thought can be "algorithmitized" to help produce human-level machine intelligence.
Metamorphic Testing of Driverless Cars
Metamorphic testing can test untestable software, detecting fatal errors in autonomous vehicles' onboard computer systems.
The need for deeply understanding when algorithms work (or not) has never been greater.
Predicting Program Properties from ‘Big Code’
We present a new approach for predicting program properties from large codebases (aka "Big Code").
Guiding Computers, Robots to See and Think
Fei-Fei Li, co-director of Stanford University's Human-Centered AI Institute, wants to create algorithms that can learn the way human babies do.
A Deterministic Parallel Algorithm for Bipartite Perfect Matching
In this article, we give an almost complete derandomization of the Isolation Lemma for perfect matchings in bipartite graphs.
Technical Perspective: Isolating a Matching When Your Coins Go Missing
Whether there exists a deterministic parallel algorithm for bipartite matching remains an outstanding question at the frontiers of our understanding of the role of randomness in computation. The question has been (nearly) recently resolved in "A Deterministic Parallel Algorithm for Bipartite Perfect Matching."
Technical Perspective: To Do or Not To Do: Extending SQL with Integer Linear Programming?
"Scalable Computation of High-Order Optimization Queries," by Brucato et al., makes a case for marrying the well-established paradigms of constrained optimization (specifically ILP) and traditional SQL querying.
A New Golden Age for Computer Architecture
Innovations like domain-specific hardware, enhanced security, open instruction sets, and agile chip development will lead the way.
Even Central Users Do Not Always Drive Information Diffusion
Diffusion speed and scale depend on all kinds of information, not just which users have the most or fewest connections.
SONYC: A System for Monitoring, Analyzing, and Mitigating Urban Noise Pollution
SONYC integrates sensors, machine listening, data analytics, and citizen science to address noise pollution in New York City.
Blockchains From a Distributed Computing Perspective
The roots of blockchain technologies are deeply interwoven in distributed computing.
Separation logic is a key development in formal reasoning about programs, opening up new lines of attack on longstanding problems.
Technical Perspective: How Economic Theories Can Help Computers Beat the Heat
The authors of "Distributed Strategies for Computational Sprints" bring the rich theory of allocating scarce resources to the challenge of managing computational sprinting in datacenters.
Scalable Computation of High-Order Optimization Queries
We present a complete system that supports package queries, a new query model that extends traditional database queries to handle complex constraints and preferences over answer sets, allowing the declarative specification and efficient evaluation of a significant class of constrained optimization problems—ILP—within a database.
Distributed Strategies for Computational Sprints
We describe a computational sprinting architecture in which many, independent chip multiprocessors share a power supply and sprints are constrained by the chips' thermal limits and the rack's power limits.
Technical Perspective: Attacking Cryptographic Key Exchange with Precomputation
"Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice," by David Adrian et al., illustrates the importance of taking preprocessing attacks into account when choosing cryptographic parameters.
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