PISTIS: Composing AWS Spot Instances with Guarantees | IEEE Conference Publication | IEEE Xplore