Learning Shape Analysis
Abstract elided by the publisher.
Related papers
- Static Analysis of Shape in TensorFlow Programs ECOOP 2020
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Generalizing Shape Analysis with Gradual Types ECOOP 2024
- Automatically learning shape specifications PLDI 2016
- Gradual Tensor Shape Checking ESOP 2023
- Shape Analysis Quantitative Shape Analysis SAS 2004
- DyPARS: Dynamic-Shape DNN Optimization via Pareto-Aware MCTS for Graph Variants CGO 2026
- Shape-diverse DSLs: languages without borders (vision paper) SLE 2018