Marius Nita Dan Grossman Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. 85-99 2008 CC http://dx.doi.org/10.1007/978-3-540-78791-4_6 conf/cc/2008 db/conf/cc/cc2008.html#NitaG08