Naoki Kobayashi Time regions and effects for resource usage analysis. 50-61 2003 conf/tldi/2003 TLDI http://doi.acm.org/10.1145/604174.604182 db/conf/tldi/tldi2003.html#Kobayashi03