Generating structured program instances with a high degree of locality | IEEE Conference Publication | IEEE Xplore