Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC
Abstract elided by the publisher.
Related papers
- Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler Haskell 2022
- Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic ECOOP 2016
- HoTTSQL: proving query rewrites with univalent SQL semantics PLDI 2017
- Lightweight Support for Magic Wands in an Automatic Verifier ECOOP 2015
- An Intermediate Program Representation for Optimizing Stream-Based Languages CAV 2025
- FuzzFactory: domain-specific fuzzing with waypoints OOPSLA 2019
- Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations PPoPP 1997
- Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors TOPLAS 1993