HOTL: a higher order theory of locality

Xiaoya Xiang, Chen Ding, Hao Luo, Bin Bao. HOTL: a higher order theory of locality. In Vivek Sarkar, Rastislav Bodík, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. pages 343-356, ACM, 2013. [doi]

Abstract

Abstract is missing.