Eric Alata, Pierre-François Gimenez. JUNID: Empowering Static Analysis with Asymptotically Optimal Intersection with Incomplete Sentences. In IEEE Symposium on Security and Privacy, SP 2026 - Workshops, San Francisco, CA, USA, May 21, 2026. pages 26-38, IEEE, 2026. [doi]
Abstract is missing.