%0 Journal Article %T Thermostat %A Agarwal, Neha %A Wenisch, Thomas F. %J ACM SIGPLAN Notice %V 52 %N 4 %P 631-644 %@ 0362-1340 %D 2017-04-04 %I ACM %~ DeepDyve