Matthew Hammer Umut A. Acar Yan Chen CEAL: a C-based language for self-adjusting computation. 25-37 2009 PLDI http://doi.acm.org/10.1145/1542476.1542480 conf/pldi/2009 db/conf/pldi/pldi2009.html#HammerAC09