3 papers
cs.PL2026
SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
Vidush Singhal, Mikah Kainen, Artem Pelenitsyn +3
Array-of-structures (AoS) to structure-of-arrays (SoA) is a classic compiler transformation that improves memory locality and enables data-parallel execution. Existing AoS-to-SoA t…
cs.PL2025
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Jack Hughes, Michael Vollmer, Mark Batty
Region based memory management is a powerful tool designed with the goal of ensuring memory safety statically. The region calculus of Tofte and Talpin is a well known example of a…
cs.PL2024
Optimizing Layout of Recursive Datatypes with Marmoset
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo +5
While programmers know that the low-level memory representation of data structures can have significant effects on performance, compiler support to optimize the layout of those str…