_id,doi,title
2967,10.1145/2287718.2287727,Algorithmic analysis of array-accessing programs