Synthesizing Abstract Transformers for Reduced-Product Domains
No abstract available.
Related papers
- Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers POPL 2026
- Reduced Products of Abstract Domains for Fairness Certification of Neural Networks SAS 2021
- Reduced Product Combination of Abstract Domains for Shapes VMCAI 2013
- A Logical Model for Relational Abstract Domains TOPLAS 1998
- Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA 2023
- Synthesizing abstract transformers OOPSLA 2022
- Synthesizing transformations on hierarchically structured data PLDI 2016
- Learning Abstractions for Program Synthesis CAV 2018