Near Optimal Hierarchical Encoding of Types
No abstract available.
Related papers
- HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition OOPSLA 2025
- Comparative Synthesis: Learning Near-Optimal Network Designs by Query POPL 2023
- ESPN: Memory-Efficient Multi-vector Information Retrieval ISMM 2024
- Near-optimal instruction selection on dags CGO 2008
- On optimizing machine learning workloads via kernel fusion PPoPP 2015
- A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests ECOOP 2001
- On the parallel I/O optimality of linear algebra kernels: near-optimal LU factorization PPoPP 2021
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation CAV 2022