Heo, Kihong2025-09-082025-09-082025979-8-4007-1922-6https://publica.fraunhofer.de/handle/publica/49495710.1145/3735544enSOAP 2025, 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Proceedings