Communications of the ACM
Latest Practice
From Communications of the ACM
Domain-Specific Languages and Code Synthesis Using Haskell
Looking at embedded DSLs.
From Communications of the ACM
The Curse of the Excluded Middle
"Mostly functional" programming does not work.
From Communications of the ACM
Design Exploration Through Code-Generating DSLs
High-level DSLs for low-level programming.
From Communications of the ACM
The NSA and Snowden: Securing the All-Seeing Eye
How good security at the NSA could have stopped him.
From Communications of the ACM
A Primer on Provenance
Better understanding data requires tracking its history and context.
From Communications of the ACM
Major-League SEMAT: Why Should an Executive Care?
Becoming better, faster, cheaper, and happier.
From Communications of the ACM
Scaling Existing Lock-Based Applications with Lock Elision
Enabling existing lock-based programs to achieve performance benefits of nonblocking synchronization.
From Communications of the ACM
The API Performance Contract
How can the expected interactions between caller and implementation be guaranteed?
From Communications of the ACM
Node at LinkedIn: The Pursuit of Thinner, Lighter, Faster
A discussion with Kiran Prasad, Kelly Norton, and Terry Coatta.
From Communications of the ACM
Provenance in Sensor Data Management
A cohesive, independent solution for bringing provenance to scientific research.
From Communications of the ACM
The Software Inferno
Dante's tale, as experienced by a software architect.
From Communications of the ACM
Toward Software-Defined SLAs
Enterprise computing in the public cloud.
From Communications of the ACM
Unikernels: The Rise of the Virtual Library Operating System
What if all the software layers in a virtual appliance were compiled within the same safe, high-level language framework?
From Communications of the ACM
The Challenge of Cross-Language Interoperability
Interfacing between languages is becoming more important
From Communications of the ACM
Intermediate Representation
The increasing significance of intermediate representations in compilers.
From Communications of the ACM
Adopting Devops Practices in Quality Assurance
Merging the art and science of software development.
From Communications of the ACM
Agile and SEMAT: Perfect Partners
Combining agile and SEMAT yields more advantages than either one alone.
From Communications of the ACM
Barbarians at the Gateways
A special section on high-frequency trading and exchange technology.
From Communications of the ACM