acm-header
Sign In

Communications of the ACM

Latest Research



From Communications of the ACM

Technical Perspective: Why 'Correct' Computers Can Leak Your Information

"Spectre Attacks: Exploiting Speculative Execution," by Paul Kocher, et al., reviews how speculative execution and caches can be exploited, presents specific exploits...

Spectre Attacks
From Communications of the ACM

Spectre Attacks: Exploiting Speculative Execution

This paper describes practical attacks that combine methodology from side-channel attacks, fault attacks, and return-oriented programming that can read arbitrary...

From Communications of the ACM

Technical Perspective: Algorithm Selection as a Learning Problem

"Data-Driven Algorithm Design," by Rishi Gupta and Tim Roughgarden, addresses the issue that the best algorithm to use for many problems depends on what the input...

Data-Driven Algorithm Design
From Communications of the ACM

Data-Driven Algorithm Design

We model the problem of identifying a good algorithm from data as a statistical learning problem.

From Communications of the ACM

Technical Perspective: Fake 'Likes' and Targeting Collusion Networks

"Measuring and Mitigating OAuth Access Token Abuse by Collusion Networks," by Shehroze Farooqi et al., explores a social-networking reputation manipulation ecosystem...

Measuring and Mitigating OAuth Access Token Abuse by Collusion Networks
From Communications of the ACM

Measuring and Mitigating OAuth Access Token Abuse by Collusion Networks

We carried out a comprehensive measurement study to understand how collusion networks exploited popular third-party Facebook applications with weak security settings...

From Communications of the ACM

Technical Perspective: An Answer to Fair Division's Most Enigmatic Question

The envy-free cake-cutting problem stood its ground for two decades, until it was cracked by Aziz and Mackenzie. Their solution is presented in "A Bounded and Envy...

A Bounded and Envy-Free Cake Cutting Algorithm
From Communications of the ACM

A Bounded and Envy-Free Cake Cutting Algorithm

We report on our algorithm that resolved the well-studied cake cutting problem in which the goal is to find an envy-free allocation of a divisible resource based...

From Communications of the ACM

Technical Perspective: A Perspective on Pivot Tracing

Instead of handing trace records off to a collector for long-term storage and future processing, the system described in "Pivot Tracing: Dynamic Causal Monitoring...

Pivot Tracing
From Communications of the ACM

Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems

This paper presents Pivot Tracing, a monitoring framework for distributed systems, which addresses the limitations of today's monitoring and diagnosis tools by...

From Communications of the ACM

Technical Perspective: Lighting the Way to Visual Privacy

"Automating Visual Privacy Protection Using a Smart LED," presents a new technique to address the issue of cameras capturing proprietary or private information—it...

Automating Visual Privacy Protection Using a Smart LED
From Communications of the ACM

Automating Visual Privacy Protection Using a Smart LED

We introduce LiShield, which automatically protects a physical scene against photographing, by illuminating it with smart LEDs flickering in specialized waveforms...

From Communications of the ACM

Technical Perspective: Is There a Geek Gene?

"Evidence that Computer Science Grades Are Not Bimodal" uses empirical methods to determine if belief in innate differences may explain why CS teachers see a bimodality...

Evidence That Computer Science Grades Are Not Bimodal
From Communications of the ACM

Evidence That Computer Science Grades Are Not Bimodal

There is a common belief that grades in computer science courses are bimodal. We devised a psychology experiment to understand why CS educators hold this belief...

From Communications of the ACM

Technical Perspective: Bootstrapping a Future of Open Source, Specialized Hardware

OpenPiton research is one of the watershed moments in the fundamental shift toward the construction of an open source ecosystem for implementing prototype chips...

OpenPiton
From Communications of the ACM

OpenPiton: An Open Source Hardware Platform For Your Research

We present OpenPiton, an open source framework for building scalable architecture research prototypes from one core to 500 million cores.

From Communications of the ACM

Technical Perspective: A Whitebox Solution for Blackbox-Like Behaviors

DeepXplore brings a software testing perspective to deep neural networks and, in doing so, creates the opportunity for enormous amounts of follow-on work in several...

DeepXplore
From Communications of the ACM

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world deep learning systems.

From Communications of the ACM

Technical Perspective: The Scalability of CertiKOS

The authors of "Building Certified Concurrent OS Kernels" illustrate that formal verification can scale up to a moderate-size program (6,500 lines of C) that has...

Building Certified Concurrent OS Kernels
From Communications of the ACM

Building Certified Concurrent OS Kernels

In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account