[INFER24] Infer Internals for Integrations and Infrastructure | ACM SIGPLAN | Podwise