JunId: Empowering Static Analysis with Asymptotically Optimal Intersection with Incomplete Sentences

Published in The 12th Workshop on Language-theoretic Security and Applications (LangSec26), 2026

Recommended citation: Alata, E. & Gimenez, P. F., (2026 May). JunId: Empowering Static Analysis with Asymptotically Optimal Intersection with Incomplete Sentences. In the 12th Workshop on Language-theoretic Security and Applications (LangSec26).