Communications of the ACM
Latest Practice
From Communications of the ACM
Securing the Tangled Web
Preventing script injection vulnerabilities through software design.
From Communications of the ACM
Bringing Arbitrary Compute to Authoritative Data
Many disparate use cases can be satisfied with a single storage system.
From Communications of the ACM
Quality Software Costs Money - Heartbleed Was Free
How to generate funding for free and open source software.
From Communications of the ACM
Undergraduate Software Engineering
Addressing the needs of professional software development.
From Communications of the ACM
Who Must You Trust?
You must have some trust if you want to get anything done.
From Communications of the ACM
Automated QA Testing at Electronic Arts
A discussion with Michael Donat, Jafar Husain, and Terry Coatta
From Communications of the ACM
Finding More Than One Worm in the Apple
If you see something, say something.
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
Don't Settle For Eventual Consistency
Stronger properties for low-latency geo-replicated storage.
From Communications of the ACM
Major-League SEMAT: Why Should an Executive Care?
Becoming better, faster, cheaper, and happier.
From Communications of the ACM
Multipath TCP
Decoupled from IP, TCP is at last able to support multihomed hosts.
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
Eventually Consistent: Not What You Were Expecting?
Methods of quantifying consistency (or lack thereof) in eventually consistent storage systems.
From Communications of the ACM