Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift
High-level synthesis of functional patterns with Lift
Accelerated Finite State Machine Test Execution Using GPUs
Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach
High performance stencil code generation with Lift
Just-in-time gpu compilation for interpreted languages with partial evaluation