Weihua Zhang Lili Liu Chen Zhang HongJiang Zhang Binyu Zang Chuanqi Zhu Optimizing techniques for saturated arithmetic with first-order linear recurrence. 1883-1889 2009 SAC http://doi.acm.org/10.1145/1529282.1529704 conf/sac/2009 db/conf/sac/sac2009.html#ZhangLZZZZ09