[PLDI24] SPORE: Combining Symmetry and Partial Order Reduction | ACM SIGPLAN | Podwise