Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: Reconsidering the Design of User-Schedulable Languages
The breakthrough of "Achieving High Performance the Functional Way," by Bastian Hagedorn et al., is in fundamentally rethinking the design of user-schedulable languages...
From Communications of the ACM
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies
We show how to employ functional programming techniques to solve with elegance the challenge of using a high-level language to describe functionality and a separate...
From Communications of the ACM
Technical Perspective: Beautiful Symbolic Abstractions for Safe and Secure Machine Learning
"Proving Data-Poisoning Robustness in Decision Trees," by Samuel Drews et al., addresses the challenge of processing an intractably large set of trained models...
From Communications of the ACM
Proving Data-Poisoning Robustness in Decision Trees
We present a sound verification technique based on abstract interpretation and implement it in a tool called Antidote, which abstractly trains decision trees for...
From Communications of the ACM
Technical Perspective: The Power of Low-Power GPS Receivers for Nanosats
The work explored in "Hummingbird," by Sujay Narayana et al., focuses on the energy consumption of a typical GPS receiver and its operational challenges in a nanosat...
From Communications of the ACM
Hummingbird: An Energy-Efficient GPS Receiver for Small Satellites
In this work, we elucidate the design of a low-cost, low-power GPS receiver for small satellites.
From Communications of the ACM
Sampling Near Neighbors in Search for Fairness
We propose several efficient data structures for the exact and approximate variants of the fair near neighbor problem.
From Communications of the ACM
Technical Perspective: Can Data Structures Treat Us Fairly?
In "Sampling Near Neighbors in Search for Fairness," Aumüller et al. investigate a basic problem in similarity search called near neighbor in the context of fair...
From Communications of the ACM
Technical Perspective: The Compression Power of the BWT
"Resolution of the Burrows-Wheeler Transform Conjecture," by Dominik Kempa and Tomasz Kociumaka, finally settles the question of how well r in the BWT captures...
From Communications of the ACM
Resolution of the Burrows-Wheeler Transform Conjecture
In this paper, we show that r = (z log2 n) holds for every text. This result has numerous implications for text indexing and data compression.
From Communications of the ACM
Technical Perspective: 'What Is the Ideal Operating System?'
The authors of "Set the Configuration for the Heart of the OS" put a fresh view on the practicability of automatic kernel debloating.
From Communications of the ACM
Set the Configuration for the Heart of the OS: On the Practicality of Operating System Kernel Debloating
This paper presents a study on the practicality of operating system kernel debloating, that is, reducing kernel code that is not needed by the target applications...
From Communications of the ACM
Technical Perspective: Leveraging Social Context for Fake News Detection
In "FANG," the authors focus on a strategy of automatically detecting disinformation campaigns on online media with a new graph-based, contextual technique for...
From Communications of the ACM
FANG: Leveraging Social Context for Fake News Detection Using Graph Representation
We propose Factual News Graph (FANG), a novel graphical social context representation and learning framework for fake news detection.
From Communications of the ACM
Technical Perspective: How Do Experts Learn New Programming Languages?
"Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language?" by Shrestha et al. provides insight into the difficulty of learning...
From Communications of the ACM
Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language?
Our findings demonstrate that interference is a widespread phenomenon, forcing programmers to adopt suboptimal, opportunistic learning strategies.
From Communications of the ACM
Technical Perspective: Applying Design-Space Exploration to Quantum Architectures
"Toward Systematic Architectural Design of Near-Term Trapped Ion Quantum Computers" presents a study on scaling trapped-ion quantum architectures, and challenges...
From Communications of the ACM
Toward Systematic Architectural Design of Near-Term Trapped Ion Quantum Computers
Toward realizing QCCD-based trapped ion systems with 50-100 qubits, we perform an extensive application-driven architectural study evaluating the key design choices...
From Communications of the ACM
Technical Perspective: On Proofs, Entanglement, and Games
"MIP* = RE," by Zhengfeng Ji et al., studies quantum interactive proofs.
From Communications of the ACM