Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: WebAssembly: A Quiet Revolution of the Web
"Bringing the Web Up to Speed with WebAssembly," by Rossberg et al., gives an overview of the initial design of WebAssembly, a new low-level programming language...
From Communications of the ACM
Bringing the Web Up to Speed with WebAssembly
WebAssembly is the first mainstream language designed from the start with a formal semantics. It not only demonstrates the feasibility of applying formal techniques...
From Communications of the ACM
Technical Perspective: Node Replication Divides to Conquer
In "How to Implement Any Concurrent Data Structure," Calciu et al. show that a concurrent data structure can be built automatically and that its performance is...
From Communications of the ACM
How to Implement Any Concurrent Data Structure
We propose a method called Node Replication (NR) to implement any concurrent data structure.
From Communications of the ACM
Technical Perspective: Backdoor Engineering
"Where Did I Leave My Keys?" by Checkoway et al. reports on the amazing independent reconstruction of a backdoor, discovered in the firmware of a VPN router commonly...
From Communications of the ACM
Where Did I Leave My Keys?: Lessons from the Juniper Dual EC Incident
In this paper, we describe the results of a full independent analysis of the ScreenOS randomness and VPN key establishment protocol subsystems, which we carried...
From Communications of the ACM
Technical Perspective: The Future of MPI
"Enabling Highly Scalable Remote Memory Access Programming with MPI-3 One Sided" convincingly shows that the potential of MPI one-sided communication can be realized...
From Communications of the ACM
Enabling Highly Scalable Remote Memory Access Programming with MPI-3 One Sided
In this work, we design and develop bufferless protocols that demonstrate how to implement the MPI-3 RMA interface and support scaling to millions of cores.
From Communications of the ACM
Technical Perspective: Is Your WiFi a Sensor?
"Emotion Recognition Using Wireless Signals" shows that not only can the heartrate be counted with accuracy comparable to ECG devices, but the variabilities of...
From Communications of the ACM
Emotion Recognition Using Wireless Signals
This paper demonstrates a new technology that can infer a person's emotions from RF signals reflected off his body.
From Communications of the ACM
Technical Perspective: Graphs, Betweenness Centrality, and the GPU
"Accelerating GPU Betweenness Centrality" by McLaughlin and Bader ably addresses the challenges to authors of efficient graph implementations in the important context...
From Communications of the ACM
Accelerating GPU Betweenness Centrality
We present a hybrid GPU implementation that provides good performance on graphs of arbitrary structure rather than just scale-free graphs as was done previously...
From Communications of the ACM
Technical Perspective: The Rewards of Selfish Mining
"Majority Is Not Enough: Bitcoin Mining Is Vulnerable," by Eyal and Sirer, questions the 2009 Bitcoin white paper's implicit assumption of perfect information—that...
From Communications of the ACM
Technical Perspective: Measuring Optimization Potential with Coz
In "Coz: Finding Code that Counts with Causal Profiling," Curtsinger and Berger describe causal profiling, which tell programmers exactly how much speed-up bang...
From Communications of the ACM
Coz: Finding Code that Counts with Causal Profiling
This paper introduces causal profiling. Unlike past profiling approaches, causal profiling indicates exactly where programmers should focus their optimization efforts...
From Communications of the ACM
Technical Perspective: On Heartbleed: A Hard Beginnyng Makth a Good Endyng
When a serious security vulnerability is discovered in the SSL/TLS protocol, one would naturally expect a rapid response. "Analysis of SSL Certificate Reissues...
From Communications of the ACM
Analysis of SSL Certificate Reissues and Revocations in the Wake of Heartbleed
We use Heartbleed, a widespread OpenSSL vulnerability from 2014, as a natural experiment to determine whether administrators are properly managing their X.509 certificates...
From Communications of the ACM
Technical Perspective: Building Bug-Free Compilers
What to do about buggy compilers? The authors of "Practical Verification of Peephole Optimizations with Alive" give us a compelling and practical answer.
From Communications of the ACM
Practical Verification of Peephole Optimizations with Alive
We created Alive, a domain-specific language for writing correct peephole optimizations and for automatically either proving them correct or else generating counterexamples...
From Communications of the ACM