Communications of the ACM
Latest Research
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: Personalized Recommendation of PoIs to People with Autism
"Supporting People with Autism Spectrum Disorders in the Exploration of PoIs" is an example of work that takes seriously the task of supporting a small group that...
From Communications of the ACM
Supporting People with Autism Spectrum Disorders in the Exploration of PoIs: An Inclusive Recommender System
We propose a novel Top-N recommendation model that combines information about an autistic user's idiosyncratic aversions with her/his preferences in a personalized...
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
MIP* = RE
In this work, we study a fourth modification to the notion of efficient verification that originates in the study of quantum entanglement.
From Communications of the ACM
Technical Perspective: Does Your Experiment Smell?
"PlanAlyzer," by Emma Tosch et al., details PlanAlyzer software, the first tool to statically check the validity of online experiments.
From Communications of the ACM
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
We present the first approach for checking the internal validity of online experiments statically, that is, from code alone.
From Communications of the ACM
Technical Perspective: Tracking Pandemic-Driven Internet Traffic
"A Year in Lockdown," by Anja Feldmann, et al., offers a detailed look at how Internet traffic changed during the COVID-19 pandemic.
From Communications of the ACM
A Year in Lockdown: How the Waves of COVID-19 Impact Internet Traffic
We review the impact of the first year of the COVID-19 pandemic on Internet traffic in order to analyze its performance.
From Communications of the ACM
Technical Perspective: Programming Microfluidics to Execute Biological Protocols
The approach taken in "BioScript," by Jason Ott, et al., is an example of how programming languages can help develop executable protocols that are conforming, understandable...
From Communications of the ACM
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
This paper introduces BioScript, a domain-specific language for programmable biochemistry that executes on emerging microfluidic platforms.
From Communications of the ACM
Technical Perspective: Deciphering Errors to Reduce the Cost of Quantum Computation
In "Constant Overhead Quantum Fault Tolerance with Quantum Expander Codes," by Omar Fawzi, et al., the authors produce an algorithm that can rapidly deduce the...
From Communications of the ACM
Constant Overhead Quantum Fault Tolerance with Quantum Expander Codes
In this paper, we study the asymptotic scaling of the space overhead needed for fault-tolerant quantum computation.
From Communications of the ACM
Technical Perspective: BLeak: Semantics-Aware Leak Detection in the Web
What is the right leak oracle that can precisely capture the behavior of leaks in Web applications? "BLeak: Automatically Debugging Memory Leaks in Web Applications...
From Communications of the ACM
BLeak: Automatically Debugging Memory Leaks in Web Applications
This paper introduces BLeak (Browser Leak debugger), the first system for automatically debugging memory leaks in web applications.
From Communications of the ACM
Technical Perspective: Analyzing Smart Contracts with MadMax
"MadMax: Analyzing the Out-of-Gas World of Smart Contracts," by Neville Grech et al., effectively discovers a new smart contract vulnerability, and proposes a detection...
From Communications of the ACM