Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
October 2020
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 high confidence.
From Communications of the ACM
Technical Perspective: Two for the Price of One
"Lower Bounds for External Memory Integer Sorting via Network Coding" proves a remarkable connection between how efficiently computers can perform sorting and transmitting.
From Communications of the ACM
Lower Bounds for External Memory Integer Sorting via Network Coding
In this paper, we present a tight conditional lower bound on the complexity of external memory sorting of integers.
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 approach based on a static analysis.