[PLDI'23] Compound Memory Models | ACM SIGPLAN | Podwise