Communications of the ACM
Latest Research
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
MadMax: Analyzing the Out-of-Gas World of Smart Contracts
We identify gas-focused vulnerabilities and present MadMax: a static program analysis technique that automatically detects gas-focused vulnerabilities with very...
From Communications of the ACM
Technical Perspective: ASIC Clouds: Specializing the Datacenter
Can we build purpose-built, warehouse-scale datacenters customized for large-scale arrays of ASIC accelerators or, to use a term coined in the paper by Michael...
From Communications of the ACM
ASIC Clouds: Specializing the Datacenter for Planet-Scale Applications
This paper distills lessons from Bitcoin ASIC Clouds and applies them to other large scale workloads, showing superior TCO (total cost of ownership) versus CPU...
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...
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: 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...
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: 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...
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...
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.
From Communications of the ACM
Technical Perspective: Do You Know Why Your Web Pages Load Faster?
"Taking a Long Look at QUIC," by Arash Molavi Kakhki et al., is a bold attempt to unearth the reasons why QUIC works better than TCP.
From Communications of the ACM
Taking a Long Look at QUIC: An Approach for Rigorous Evaluation of Rapidly Evolving Transport Protocols
There is a need for alternative techniques for understanding and evaluating QUIC when compared with previous transport-layer protocols.
From Communications of the ACM
Technical Perspective: Borrowing Big Code to Automate Programming Activities
"Predicting Program Properties from 'Big Code'" presents new techniques for leveraging big code to automate two programming activities: selecting understandable...
From Communications of the ACM
Predicting Program Properties from 'Big Code'
We present a new approach for predicting program properties from large codebases (aka "Big Code").
From Communications of the ACM
Technical Perspective: Attacking Cryptographic Key Exchange with Precomputation
"Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice," by David Adrian et al., illustrates the importance of taking preprocessing attacks into account...
From Communications of the ACM
Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
We investigate the security of Diffie-Hellman key exchange as used in popular Internet protocols and find it to be less secure than widely believed.
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