[PLDI24] A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite(…) | ACM SIGPLAN | Podwise