The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
We propose a method called Node Replication (NR) to implement any concurrent data structure.
WebAssembly is the first mainstream language designed from the start with a formal semantics. It not only demonstrates the feasibility of applying formal techniques, but also that they lead to a remarkably clean and simple design…
"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 for Web-based software.
In "How to Implement Any Concurrent Data Structure," Calciu et al. show that a concurrent data structure can be built automatically and that its performance is actually competitive with state-of-the-art designs for a series of…