Carlo Galuzzi Introduction to Instruction-Set Customization. 193 2009 SAMOS http://dx.doi.org/10.1007/978-3-642-03138-0_20 conf/samos/2009 db/conf/samos/samos2009.html#Galuzzi09