Dylan McNamee Jonathan Walpole Calton Pu Crispin Cowan Charles Krasic Ashvin Goel Perry Wagle Charles Consel Gilles Muller Renaud Marlet Specialization tools and techniques for systematic optimization of system software. 217-251 2001 19 ACM Trans. Comput. Syst. 2 http://doi.acm.org/10.1145/377769.377778 db/journals/tocs/tocs19.html#McNameeWPCKGWCMM01