2 papers
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.PL2025
Memory Consistency and Program Transformations
Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty
A memory consistency model specifies the allowed behaviors of shared memory concurrent programs. At the language level, these models are known to have a non-trivial impact on the s…