Locality approximation using time.

Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding

Browse the full POPL paper archive.