Presents Evolving Abstract Transformers with UPOSE and AGG algorithms to create adaptable, domain-agnostic sound transformers for polyhedral abstract domains in program analysis.
Program analysis via efficient symbolic abstraction.Proc
2 Pith papers cite this work, alongside 10 external citations. Polarity classification is still indexing.
2
Pith papers citing it
10
external citations · OpenAlex
fields
cs.PL 2verdicts
UNVERDICTED 2representative citing papers
Formalizes shared-context batched satisfiability and evaluates predicate-by-predicate, disjunctive over-approximation, and new Core-Literal Filter on symbolic abstraction and active property checking tasks.
citing papers explorer
-
Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
Presents Evolving Abstract Transformers with UPOSE and AGG algorithms to create adaptable, domain-agnostic sound transformers for polyhedral abstract domains in program analysis.
-
Shared-Context Batched Satisfiability
Formalizes shared-context batched satisfiability and evaluates predicate-by-predicate, disjunctive over-approximation, and new Core-Literal Filter on symbolic abstraction and active property checking tasks.