Automatic Minimization of Execution Costs of SPITS Programs in AWS | IEEE Conference Publication | IEEE Xplore