Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: DRAM Errors in the Wild
In order to advance the field, knowledge of the types of memory errors at the system level, their frequencies, and conditions that exacerbate or are unrelated to...
From Communications of the ACM
Path Selection and Multipath Congestion Control
This paper studies data transfers under two classes of multipath control, coordinated control where the rates...
From Communications of the ACM
Technical Perspective: Multipath, A New Control Architecture For the Internet
Multipath transmission for the Internet—that is, allowing users to send some of their packets along one path and...
From Communications of the ACM
Sora: High-Performance Software Radio Using General-Purpose Multi-Core Processors
Sora, a fully programmable software radio platform on commodity PC architectures, combines the performance and fidelity of hardware software-defined radio platforms...
From Communications of the ACM
Technical Perspective: Sora Promises Lasting Impact
The objective of Sora is to build a software defined radio that combines the performance and fidelity of hardware...
From Communications of the ACM
QIP = PSPACE
The collection of computational problems having quantum interactive proof systems consists precisely of those problems solvable with an ordinary classical computer...
From Communications of the ACM
Technical Perspective: QIP = PSPACE Breakthrough
It is now clear that for a wide range of problems, quantum computers offer little or no advantage over their classical counterparts.
From Communications of the ACM
FastTrack: Efficient and Precise Dynamic Race Detection
Multithreaded programs are notoriously prone to race conditions. Prior work developed precise dynamic race detectors that never report false alarms. However, these...
From Communications of the ACM
Goldilocks: A Race-Aware Java Runtime
GOLDILOCKS is a Java runtime that monitors program executions and throws a DataRaceException when a data race...
From Communications of the ACM
Technical Perspective: Data Races Are Evil with No Exceptions
Exploiting parallelism has become the primary means to higher performance. Shared memory is a pervasively used programming...
From Communications of the ACM
Difference Engine: Harnessing Memory Redundancy in Virtual Machines
Virtual machine monitors are a popular platform for Internet hosting centers and cloud-based compute services. But main memory is not amenable to multiplexed hardware...
From Communications of the ACM
Technical Perspective: A VM 'Engine' That Makes a Difference
The past decade has witnessed a renaissance in server virtualization. Diwaker Gupta et al. present a novel approach for significantly improving the efficiency of...
From Communications of the ACM
Constraint Satisfaction Problems and Global Cardinality Constraints
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality...
From Communications of the ACM
Technical Perspective: Constraint Satisfaction Problems and Computational Complexity
It takes little imagination to come up with a wealth of problems in scheduling and planning that can be expressed asConstraint Satisfaction...
From Communications of the ACM
Privacy Integrated Queries: An Extensible Platform For Privacy-Preserving Data Analysis
Privacy Integrated Queries (PINQ) is an extensible data analysis platform designed to provide unconditional privacy guarantees for the records of the underlying...
From Communications of the ACM
Technical Perspective: Programming With Differential Privacy
Government agencies worldwide release statistical information about population, education, and health, crime...
From Communications of the ACM
Reasoning About the Unknown in Static Analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis...
From Communications of the ACM
Technical Persepctive: Large-Scale Sound and Precise Program Analysis
You are given a program. Will it crash? Is it subject to a spoofing, buffer overflow, or injection attack? Is this part of...
From Communications of the ACM
Phase Change Memory Architecture and the Quest For Scalability
Memory scaling is in jeopardy as charge storage and sensing mechanisms become less reliable for prevalent memory technologies. In contrast, phase change memory...
From Communications of the ACM