[SOAP'23] Speeding up Static Analysis with the Split Operator | ACM SIGPLAN | Podwise