Accelerating Program Analyses in Datalog by Merging Library Facts
No abstract available.
Related papers
- Accelerating program analyses by cross-program training OOPSLA 2016
- Type inference for datalog with complex type hierarchies POPL 2010
- On abstraction refinement for program analyses in Datalog PLDI 2014
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024
- Probabilistic Inference for Datalog with Correlated Inputs OOPSLA 2025
- Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning) OOPSLA 2025
- Incrementalizing lattice-based program analyses in Datalog OOPSLA 2018
- Strictly declarative specification of sophisticated points-to analyses OOPSLA 2009