Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts
Abstract elided by the publisher.
Related papers
- PolyCheck: dynamic verification of iteration space transformations on affine programs POPL 2016
- Custom Data Layout for Memory Parallelism CGO 2004
- Automatic datatype generation and optimization PPoPP 2012
- Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types ICFP 2023
- Automatic data layout generation and kernel mapping for CPU+GPU architectures CC 2016
- BFF: foundational and automated verification of bitfield-manipulating programs OOPSLA 2022
- Synthesis-powered optimization of smart contracts via data type refactoring OOPSLA 2022
- Data layout optimization for GPGPU architectures PPoPP 2013