@article{Akin2018, author = "Berkin Akin", title = "{A Formal Approach to Memory Access Optimization: Data Layout, Reorganization, and Near-Data Processing}", year = "2018", month = "11", url = "https://kilthub.cmu.edu/articles/thesis/A_Formal_Approach_to_Memory_Access_Optimization_Data_Layout_Reorganization_and_Near-Data_Processing/7339292", doi = "10.1184/R1/7339292.v1" }