pldi07-icb.pdf