On the Need for Available, Functional, and Reusable Memory Models

Explore a critical examination of memory models research in this 25-minute conference talk from ACM SIGPLAN's FOWM'24. Delve into Hernán Ponce de León's personal experiences and challenges encountered when attempting to locate, implement, or expand upon existing memory models. Gain insights into the current shortcomings within the established community and discover the speaker's vision for the future of memory models research over the next decade. Learn from real-world failure stories and understand the importance of developing more accessible, functional, and reusable memory models to advance the field.

[FOWM'24] On the need for available, functional, and reusable memory models