Jinseong Jeon Keoncheol Shin Hwansoo Han Abstracting access patterns of dynamic memory using regular expressions. 2009 5 TACO 4 http://doi.acm.org/10.1145/1498690.1498693 db/journals/taco/taco5.html#JeonSH09