5:08

[FOWM'24] Welcome

ACM SIGPLAN

20:52

[FOWM'24] Some things I wish I hadn’t seen

ACM SIGPLAN

21:16

[FOWM'24] Chasing Unicorns and Not Losing Hope in Validating Weak Memory Persistency Model...

ACM SIGPLAN

23:05

[FOWM'24] How Do We Know That Weak Memory Matters?

ACM SIGPLAN

21:17

[FOWM'24] Weak Memory Demands Model-based Compiler Testing

ACM SIGPLAN

25:22

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

ACM SIGPLAN

21:48

[FOWM'24] What we learned from C++ atomics and memory model standardization

ACM SIGPLAN

22:00

[FOWM'24] Why Languages Should Preserve Load-Store Order

ACM SIGPLAN

21:37

[FOWM'24] Compilers should get over themselves and respect semantic dependencies!

ACM SIGPLAN

22:17

[FOWM'24] A case against semantic dependencies

ACM SIGPLAN

19:21

[FOWM'24] What Compilers desire from Weak Memory Semantics

ACM SIGPLAN

19:03

[FOWM'24] Programmers love mind-bogglingly complicated weak memory models

ACM SIGPLAN

16:30

[FOWM'24] Evolving Weak Memory Models for Evolving Architectures

ACM SIGPLAN

22:07

[FOWM'24] In-order execution nails every weak memory behavior

ACM SIGPLAN

18:48

[FOWM'24] System-level weak memory models: The need for formalisation, ISA semantics integ...

ACM SIGPLAN

20:02

[FOWM'24] Relaxed systems semantics and how we (hope to) reason above it

ACM SIGPLAN

18:17

[FOWM'24] Heterogeneous concurrency -- a new frontier for weak memory

ACM SIGPLAN