Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
August 2016
From Communications of the ACM
Verifying Quantitative Reliability For Programs that Execute on Unreliable Hardware
We present Rely, a programming language that enables developers to reason about the quantitative reliability of an application — namely, the probability that it produces the correct result when executed on unreliable hardware…
From Communications of the ACM
Ur/Web: A Simple Model For Programming the Web
This paper presents Ur/Web, a domain-specific, statically typed functional programming language that reduces the nest of Web standards for modern Web applications to a simple programming model.
From Communications of the ACM
Technical Perspective: Toward Reliable Programming For Unreliable Hardware
"Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware" by Carbin et al. addresses challenges related to a bug, how likely it is to occur, and how it will affect an application's behavior.
From Communications of the ACM
Technical Perspective: Why Didn't I Think of That?
Until now, the database in a Web application has been treated as a global variable, accessible to all. In "Ur/Web: A Simple Model for Programming the Web," Adam Chlipala suggests a better approach.