A Representation for Bit Section Based Analysis and Optimization
No abstract available.
DOI 10.1007/3-540-45937-5_7
Related papers
- Specifying Representations of Machine Instructions TOPLAS 1997
- Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types ICFP 2023
- High performance correctly rounded math libraries for 32-bit floating point representations PLDI 2021
- SuperMalloc: a super fast multithreaded malloc for 64-bit machines ISMM 2015
- Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections PPoPP 2007
- Software-Controlled Operand-Gating CGO 2004
- One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes POPL 2022
- Every bit counts: The binary representation of typed data and programs JFP 2012