Every Bit Counts Every Bit Counts A semantic approach to the binary representation of data and programs Andrew Kennedy & Dimitrios Vytiniotis Microsoft Research Cambridge…