Presynthesis constructs a tree automaton and oracle offline to allow efficient use of fine-grained abstract semantics for pruning in search-based program synthesis.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
New storage variants and batch processing in Customizable Tree Labeling reduce memory and speed up queries on large road networks while supporting arbitrary cost metrics.
citing papers explorer
-
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Presynthesis constructs a tree automaton and oracle offline to allow efficient use of fine-grained abstract semantics for pruning in search-based program synthesis.
-
Optimized Customizable Route Planning in Large Road Networks with Batch Processing
New storage variants and batch processing in Customizable Tree Labeling reduce memory and speed up queries on large road networks while supporting arbitrary cost metrics.