Declaring Victory in a Declarative Datacenter: Verification and Transferring Confidence

Shriram Krishnamurthi

Workshop on the Rise and Rise of the Declarative Datacentre, 2008

(Invited Paper.)


Operators may appreciate and adopt declarative approaches to defining datacenters, but they will still need sophisticated tools to locate weaknesses, identify hot-spots, and catch errors. Just as usefully, they need means to transfer their confidence from one version of the system to the next. I outline some of these challenges along with our preliminary work in this direction.


You can also find a video of my talk, courtesy of Microsoft Research.



These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.