[PLDI24] Diffy: Data-Driven Bug Finding for Configurations | ACM SIGPLAN | Podwise