Rajkishore Barik Christian Grothoff Rahul Gupta Vinayaka Pandit Raghavendra Udupa Optimal Bitwise Register Allocation Using Integer Linear Programming. 267-282 2006 conf/lcpc/2006 LCPC http://dx.doi.org/10.1007/978-3-540-72521-3_20 db/conf/lcpc/lcpc2006.html#BarikGGPU06