Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.
Ruyi JiYuwei ZhaoNadia PolikarpovaYingfei XiongZhenjiang HuPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- data structure
- functional programs
- inductive learning
- data types
- machine learning
- index structure
- information retrieval
- program synthesis
- inductive logic programming
- inductive concept learning
- database
- efficient data structures
- inductive reasoning
- logic programs
- neural network
- domain specific
- suffix tree
- analog circuits
- multiscale
- three dimensional
- decision trees
- kd trees
- data sets