LLM-Integrated Declarative Program Analysis

PLDI Workshop on the State Of the Art in Program Analysis (SOAP), 2026

Recommended citation: https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/SemQL.bib https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/SemQL.pdf