Sign In

Communications of the ACM

Latest Research



From Communications of the ACM

Technical Perspective: Exploring a Kingdom by Geodesic Measures

"The Heat Method for Distance Computation," by Crane, Weischedel, and Wardetzky, shows that the gradient of the probability density function of a random walk is...

The Heat Method for Distance Computation
From Communications of the ACM

The Heat Method for Distance Computation

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains.

From Communications of the ACM

Technical Perspective: Solving Imperfect Information Games

"Heads-Up Limit Hold'em Poker Is Solved," by Michael Bowling, et al., takes the counterfactual regret minimization method for approximating a Nash equilibrium to...

Heads-Up Limit Hold'em Poker Is Solved
From Communications of the ACM

Heads-Up Limit Hold'em Poker Is Solved

This paper is an extended version of our original 2015 Science article, with additional results showing Cepheus' in-game performance against computer and human...

From Communications of the ACM

Technical Perspective: Shedding New Light on an Old Language Debate

"A Large-Scale Study of Programming Languages and Code Quality in GitHub," by Baishakhi Ray, et al., studies whether programming language choice and code quality...

A Large-Scale Study of Programming Languages and Code Quality in GitHub
From Communications of the ACM

A Large-Scale Study of Programming Languages and Code Quality in GitHub

What is the effect of programming languages on software quality? In this study, we gather a very large data set from GitHub in an attempt to shed some empirical...

From Communications of the ACM

Technical Perspective: Broadening and Deepening Query Optimization Yet Still Making Progress

"Multi-Objective Parametric Query Optimization," by Immanuel Trummer and Christoph Koch is a remarkable tour de force exploration of the combination of both parametric...

Multi-Objective Parametric Query Optimization
From Communications of the ACM

Multi-Objective Parametric Query Optimization

We propose a generalization of the classical database query optimization problem: multi-objective parametric query (MPQ) optimization.

From Communications of the ACM

Technical Perspective: Humans and Computers Working Together on Hard Tasks

"Scribe," by Walter S. Lasecki, et al., is one of the first in a recent set of crowdsourcing papers that demonstrated how human workers can collaborate with computing...

Scribe
From Communications of the ACM

Scribe: Deep Integration of Human and Machine Intelligence to Caption Speech in Real Time

We discuss how our Scribe system combines human labor and machine intelligence in real time to reliably convert speech to text with less than 4s latency.

From Communications of the ACM

Technical Perspective: A Gloomy Look at the Integrity of Hardware

"Exploiting the Analog Properties of Digital Circuits for Malicious Hardware," by Kaiyuan Yang, et al., assumes semiconductor foundries (and others in chip fabrication)...

Exploiting the Analog Properties of Digital Circuits for Malicious Hardware
From Communications of the ACM

Exploiting the Analog Properties of Digital Circuits for Malicious Hardware

We show how a fabrication-time attacker can leverage analog circuits to create a hardware attack that is small and stealthy.

From Communications of the ACM

Technical Perspective: Linking Form, Function, and Fabrication

To avoid costly feedback loops between design, engineering, and fabrication, research in computer graphics has recently tried to incorporate key aspects of function...

Spin-It
From Communications of the ACM

Spin-It: Optimizing Moment of Inertia for Spinnable Objects

In this article, we describe an algorithm to generate designs for spinning objects by optimizing their mass distribution.

From Communications of the ACM

Technical Perspective: Unexpected Connections

The inherent scalability of an interface is the focus of "The Scalable Commutativity Rule" by Austin T. Clements, et al.

The Scalable Commutativity Rule
From Communications of the ACM

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors

This paper introduces an interface-driven approach to building scalable software.

From Communications of the ACM

Technical Perspective: IronFleet Simplifies Proving Safety and Liveness Properties

"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial...

IronFleet
From Communications of the ACM

IronFleet: Proving Safety and Liveness of Practical Distributed Systems

We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our...

From Communications of the ACM

Technical Perspective: Building a Better Hash Function

In "Fast and Powerful Hashing Using Tabulation," Mikkel Thorup describes a variation of simple but surprisingly effective and powerful hash functions based on using...

Fast and Powerful Hashing Using Tabulation
From Communications of the ACM

Fast and Powerful Hashing Using Tabulation

We survey recent results on how simple hashing schemes based on tabulation provide unexpectedly strong guarantees.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account