[POPL'24] A New Perspective on Commutativity in Verification | ACM SIGPLAN | Podwise