Welcome
summary
Program opens by defining weak versus strong memory and lists concrete agenda items: empirical validation of memory persistency models, tooling for checking compiler respect for weak memory, experiments combining heterogeneous weak-memory ISAs, and a provocation asking does weak memory matter with measured benchmarks. Expect concrete case studies (GPU models, C++ model retrospection), a tool-and-reproducibility push, and claims about whether compilers should guarantee semantic dependencies or not; pick talks promising benchmarks, proofs, or released tools.
AI-written summary · about
related talks
14mMaking Weak Memory Models Fair
30mA Tale of Shared Memory Concurrency in Programming Languages
01h 11mProgramming language memory models: Problems, solutions, and directions
20mHow Hard is Weak-Memory Testing?
26mKater: Automating Weak Memory Model Metatheory and Consistency Checking
17mPutting Weak Memory in Order via a Promising Intermediate Representation
51mMemory Model: Get your shared data under control
18mThe Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++