On the public citation graph
Halide
0 signed · 131 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-19595-2_10openalex-snapshot
A Programming Language Interface to Describe Transformations and Code Generation
inferredcites →https://doi.org/10.1007/bf01407931openalex-snapshot
Dataflow analysis of array and scalar references
inferredcites →https://doi.org/10.1109/cgo.2007.13openalex-snapshot
GPU Computing: Programming a Massively Parallel Processor
inferredcites →https://doi.org/10.1109/jproc.2004.840301openalex-snapshot
The Design and Implementation of FFTW3
inferredcites →https://doi.org/10.1109/jproc.2004.840306openalex-snapshot
SPIRAL: Code Generation for DSP Transforms
inferredcites →https://doi.org/10.1145/1275808.1276506openalex-snapshot
Real-time edge-aware image processing with the bilateral grid
inferredcites →https://doi.org/10.1145/1276377.1276506openalex-snapshot
Real-time edge-aware image processing with the bilateral grid
inferredcites →https://doi.org/10.1145/197405.197406openalex-snapshot
Compiler transformations for high-performance computing
inferredcites →https://doi.org/10.1145/2185520.2185528openalex-snapshot
Decoupling algorithms from schedules for easy optimization of image processing pipelines
inferredcites →https://doi.org/10.1145/2897824.2925952openalex-snapshot
Automatically scheduling halide image processing pipelines
inferredcites →https://doi.org/10.1145/2980179.2980254openalex-snapshot
Burst photography for high dynamic range and low-light imaging on mobile cameras
inferredcites →https://doi.org/10.1145/605397.605428openalex-snapshot
A stream compiler for communication-exposed architectures
inferredcites →https://doi.org/10.1177/1094342007078442openalex-snapshot
Parallel Programmability and the Chapel Language
inferredcites →https://doi.org/10.5555/1413370.1413373openalex-snapshot
High performance discrete Fourier transforms on graphics processors
inferredcites →https://doi.org/10.5555/3049832.3049863openalex-snapshot
Parallel associative reductions in halide
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-29611-7_2openalex-snapshot
Compiling Optimization for Neural Network Accelerators
inferred← citeshttps://doi.org/10.1007/978-3-030-66770-2_16openalex-snapshot
Search Space Complexity of Iteration Domain Based Instruction Embedding for Deep Learning Accelerators
inferred← citeshttps://doi.org/10.1007/978-3-030-78198-9_5openalex-snapshot
Portable Intermediate Representation for Efficient Big Data Analytics
inferred← citeshttps://doi.org/10.1007/978-3-030-81688-9_6openalex-snapshot
Theory Exploration Powered by Deductive Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-47963-2_11openalex-snapshot
An Autonomous Data Language
inferred← citeshttps://doi.org/10.1007/978-3-031-52183-6_11openalex-snapshot
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview
inferred← citeshttps://doi.org/10.1007/978-3-031-57256-2_4openalex-snapshot
$${\textsc {HaliVer}}$$: Deductive Verification and Scheduling Languages Join Forces
inferred← citeshttps://doi.org/10.1007/978-3-031-62645-6_12openalex-snapshot
AuDaLa is Turing Complete
inferred← citeshttps://doi.org/10.1007/978-3-031-64626-3_17openalex-snapshot
Verified Validation for Affine Scheduling in Polyhedral Compilation
inferred← citeshttps://doi.org/10.1007/978-3-031-68150-9_9openalex-snapshot
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges
inferred← citeshttps://doi.org/10.1007/978-3-031-99854-6_3openalex-snapshot
Scheduling Task and Data Parallelism in Array Languages with Work Assisting
inferred← citeshttps://doi.org/10.1007/978-3-032-32519-8_5openalex-snapshot
Scalable Deductive Verification of Data-Level Parallel Programs
inferred← citeshttps://doi.org/10.1007/s10776-019-00435-wopenalex-snapshot
Image Processing Algorithms of Hartmann Aberration Automatic Measurement System Based on Tensor Product Network
inferred← citeshttps://doi.org/10.1007/s12652-020-02547-1openalex-snapshot
Hip-hop action image recognition based on symmetric algorithm and iterative weighting of dense sampling
inferred← citeshttps://doi.org/10.1016/j.cola.2025.101369openalex-snapshot
A C++ annotation-based domain-specific language for expressing stream and data parallelism supporting CPU and GPU
inferred← citeshttps://doi.org/10.1016/j.jpdc.2022.01.014openalex-snapshot
A fast and concise parallel implementation of the 8x8 2D forward and inverse DCTs using halide
inferred← citeshttps://doi.org/10.1016/j.micpro.2021.103862openalex-snapshot
Denoising method of low illumination underwater motion image based on improved canny
inferred← citeshttps://doi.org/10.1016/j.parco.2026.103226openalex-snapshot
Improving cellular automata performance with bit-planes encoding and bitwise vectorization
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102989openalex-snapshot
Gaiwan: A size-polymorphic typesystem for GPU programs
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103386openalex-snapshot
An overview of research with Slco on seamless integration of formal verification into model-driven software engineering
inferred← citeshttps://doi.org/10.1016/j.tcs.2025.115560openalex-snapshot
The Autonomous Data Language – Concepts, design and formal verification
inferred← citeshttps://doi.org/10.1109/access.2019.2961568openalex-snapshot
Compiler-Directed Parallelism Scaling Framework for Performance Constrained Energy Optimization
inferred← citeshttps://doi.org/10.1109/asap52443.2021.00040openalex-snapshot
Towards Automatic and Agile AI/ML Accelerator Design with End-to-End Synthesis
inferred← citeshttps://doi.org/10.1109/cgo51591.2021.9370308openalex-snapshot
MLIR: Scaling Compiler Infrastructure for Domain Specific Computation
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395214openalex-snapshot
Pushing Tensor Accelerators beyond MatMul in a User-Schedulable Language
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395218openalex-snapshot
DyPARS: Dynamic-Shape DNN Optimization via Pareto-Aware MCTS for Graph Variants
inferred← citeshttps://doi.org/10.1109/coolchips61292.2024.10531173openalex-snapshot
Template-Based Automatic Library Function Generation with Halide for Compute-Intensive Simulink Models
inferred← citeshttps://doi.org/10.1109/dac18072.2020.9218489openalex-snapshot
Invited: Software Defined Accelerators From Learning Tools Environment
inferred← citeshttps://doi.org/10.1109/hpca51647.2021.00015openalex-snapshot
A Computational Stack for Cross-Domain Acceleration
inferred← citeshttps://doi.org/10.1109/hpca57654.2024.00017openalex-snapshot
An Optimizing Framework on MLIR for Efficient FPGA-based Accelerator Generation
inferred← citeshttps://doi.org/10.1109/hpec49654.2021.9622855openalex-snapshot
Distributed and Heterogeneous SAR Backprojection with Halide
inferred← citeshttps://doi.org/10.1109/icdiime59043.2023.00041openalex-snapshot
Simulation of Computer Image Processing Model Based on Random Forest Algorithm
inferred← citeshttps://doi.org/10.1109/icirdc62824.2023.00125openalex-snapshot
Research on Image Processing of Big Data Based on Computer Vision
inferred← citeshttps://doi.org/10.1109/icra57147.2024.10611343openalex-snapshot
A Probabilistic Motion Model for Skid-Steer Wheeled Mobile Robot Navigation on Off-Road Terrains
inferred← citeshttps://doi.org/10.1109/ijcnn54540.2023.10191801openalex-snapshot
A Neurally Guided Patch-Based Style Transfer for Mobile Devices
inferred← citeshttps://doi.org/10.1109/ipdps49936.2021.00058openalex-snapshot
Temporal blocking of finite-difference stencil operators with sparse “off-the-grid” sources
inferred← citeshttps://doi.org/10.1109/ipdps64566.2025.00041openalex-snapshot
PolyMorphous: An MLIR-Based Polyhedral Compiler with Loop Transformation Primitives
inferred← citeshttps://doi.org/10.1109/ipdpsw63119.2024.00035openalex-snapshot
Auto-Generating Diverse Heterogeneous Designs
inferred← citeshttps://doi.org/10.1109/iscas46773.2023.10182052openalex-snapshot
An Open-Source $4 \times 8$ Coarse-Grained Reconfigurable Array Using SkyWater 130 nm Technology and Agile Hardware Design Flow
inferred← citeshttps://doi.org/10.1109/ispass64960.2025.00035openalex-snapshot
Beethoven: A Heterogeneous Multi-Core Accelerator System Composer
inferred← citeshttps://doi.org/10.1109/ivcnz.2018.8634712openalex-snapshot
Concurrent ML as an Alternative Parallel Programming Style for Image Processing
inferred← citeshttps://doi.org/10.1109/smarttechcon57526.2023.10391390openalex-snapshot
Research on Graphic Design Image Processing Technology Based on Newton's method in Photoshop
inferred← citeshttps://doi.org/10.1109/tvcg.2022.3209375openalex-snapshot
Traveler: Navigating Task Parallel Traces for Performance Analysis
inferred← citeshttps://doi.org/10.1145/3276491openalex-snapshot
GraphIt: a high-performance graph DSL
inferred← citeshttps://doi.org/10.1145/3330345.3331057openalex-snapshot
Accelerating reduction and scan using tensor core units
inferred← citeshttps://doi.org/10.1145/3360603openalex-snapshot
Design, implementation, and application of GPU-based Java bytecode interpreters
inferred← citeshttps://doi.org/10.1145/3368826.3377909openalex-snapshot
Optimizing ordered graph algorithms with GraphIt
inferred← citeshttps://doi.org/10.1145/3369555.3369559openalex-snapshot
Exposing parallelism of discrete radon transform
inferred← citeshttps://doi.org/10.1145/3408974openalex-snapshot
Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
inferred← citeshttps://doi.org/10.1145/3434321openalex-snapshot
Verified code generation for the polyhedral model
inferred← citeshttps://doi.org/10.1145/3458744.3473351openalex-snapshot
Accelerate Binarized Neural Networks with Processing-in-Memory Enabled by RISC-V Custom Instructions
inferred← citeshttps://doi.org/10.1145/3458744.3473352openalex-snapshot
Support Convolution of CNN with Compression Sparse Matrix Multiplication Flow in TVM
inferred← citeshttps://doi.org/10.1145/3487922openalex-snapshot
Joint Program and Layout Transformations to Enable Convolutional Operators on Specialized Hardware Based on Constraint Programming
inferred← citeshttps://doi.org/10.1145/3503222.3507714openalex-snapshot
Vector instruction selection for digital signal processors using program synthesis
inferred← citeshttps://doi.org/10.1145/3519939.3523439openalex-snapshot
Bind the gap: compiling real software to hardware FFT accelerators
inferred← citeshttps://doi.org/10.1145/3519939.3523446openalex-snapshot
Exocompilation for productive programming of hardware accelerators
inferred← citeshttps://doi.org/10.1145/3527328openalex-snapshot
End-to-end translation validation for the halide language
inferred← citeshttps://doi.org/10.1145/3530390.3532733openalex-snapshot
Systematically extending a high-level code generator with support for tensor cores
inferred← citeshttps://doi.org/10.1145/3544885.3544894openalex-snapshot
On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces
inferred← citeshttps://doi.org/10.1145/3563946openalex-snapshot
Domain-Specific Architectures: Research Problems and Promising Approaches
inferred← citeshttps://doi.org/10.1145/3575693.3575701openalex-snapshot
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators
inferred← citeshttps://doi.org/10.1145/3577193.3593714openalex-snapshot
Performance Embeddings: A Similarity-Based Transfer Tuning Approach to Performance Optimization
inferred← citeshttps://doi.org/10.1145/3587278openalex-snapshot
Proceedings of the 2nd International Workshop on Extreme Heterogeneity Solutions
inferred← citeshttps://doi.org/10.1145/3587278.3595642openalex-snapshot
Tiling Framework for Heterogeneous Computing of Matrix based Tiled Algorithms
inferred← citeshttps://doi.org/10.1145/3588717openalex-snapshot
Optimizing Tensor Programs on Flexible Storage
inferred← citeshttps://doi.org/10.1145/3605573.3605604openalex-snapshot
Communication-Avoiding Optimizations for Large-Scale Unstructured-Mesh Applications with OP2
inferred← citeshttps://doi.org/10.1145/3609024.3609410openalex-snapshot
Rank-Polymorphism for Shape-Guided Blocking
inferred← citeshttps://doi.org/10.1145/3620665.3640390openalex-snapshot
Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization
inferred← citeshttps://doi.org/10.1145/3629523openalex-snapshot
FlowPix: Accelerating Image Processing Pipelines on an FPGA Overlay using a Domain Specific Compiler
inferred← citeshttps://doi.org/10.1145/3649153.3649196openalex-snapshot
DNNOPT: A Framework for Efficiently Selecting On-chip Memory Loop Optimizations of DNN Accelerators
inferred← citeshttps://doi.org/10.1145/3652586.3663313openalex-snapshot
Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling
inferred← citeshttps://doi.org/10.1145/3669940.3707218openalex-snapshot
Exo 2: Growing a Scheduling Language
inferred← citeshttps://doi.org/10.1145/3688609openalex-snapshot
DLAS: A Conceptual Model for Across-Stack Deep Learning Acceleration
inferred← citeshttps://doi.org/10.1145/3689766openalex-snapshot
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
inferred← citeshttps://doi.org/10.1145/3690830openalex-snapshot
On the Importance of the Execution Schedule for Bayesian Inference
inferred← citeshttps://doi.org/10.1145/3701993openalex-snapshot
Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
inferred← citeshttps://doi.org/10.1145/3727638openalex-snapshot
Supporting Dynamic Program Sizes in Deep Learning-Based Cost Models for Code Optimization
inferred← citeshttps://doi.org/10.1145/3729292openalex-snapshot
Lightweight and Locality-Aware Composition of Black-Box Subroutines
inferred← citeshttps://doi.org/10.1145/3759425.3763398openalex-snapshot
W2GPU: Toward WebAssembly-to-WebGPU Program Translation via Small Language Models
inferred← citeshttps://doi.org/10.1145/3771775.3786269openalex-snapshot
CHEHAB: Automatic Compiler Code Optimization for Fully Homomorphic Encryption
inferred← citeshttps://doi.org/10.1145/3779212.3790138openalex-snapshot
CHEHAB RL: Learning to Optimize Fully Homomorphic Encryption Computations
inferred← citeshttps://doi.org/10.1145/3810954openalex-snapshot
LASM: Extensible Competitive Scheduling Framework for VLIW Assembly Optimization
inferred← citeshttps://doi.org/10.1145/3818618openalex-snapshot
MoonPoly : Bridging Code Generation and Adaptive Execution via Micro-Kernel Polymerization for Optimizing Dynamic-Shape Tensor Operators
inferred← citeshttps://doi.org/10.1145/3820776openalex-snapshot
The RISE of Programmability – From a High-Level Language to an Embedded Heterogeneous System
inferred← citeshttps://doi.org/10.1177/1094342019865606openalex-snapshot
Managing code transformations for better performance portability
inferred← citeshttps://doi.org/10.14288/1.0394560openalex-snapshot
Compilation-assisted performance acceleration for data analytics
inferred← citeshttps://doi.org/10.14569/ijacsa.2019.0100361openalex-snapshot
Image Retrieval using Visual Phrases
inferred← citeshttps://doi.org/10.17559/tv-20200527085338openalex-snapshot
Real-time Defogging of Single Image of IoTs-based Surveillance Video Based on MAP
inferred← citeshttps://doi.org/10.17762/turcomat.v12i5.2127openalex-snapshot
Morphological Transformation In Poor Lighting Images For Image Contrast Enhancement
inferred← citeshttps://doi.org/10.3390/app11010022openalex-snapshot
Inverse Multiscale Discrete Radon Transform by Filtered Backprojection
inferred← citeshttps://doi.org/10.3390/app112210606openalex-snapshot
Central and Periodic Multi-Scale Discrete Radon Transforms
inferred← citeshttps://doi.org/10.4018/ijwltt.347989openalex-snapshot
Research on the Application of Multimedia Image Processing Technology in Sports Sociology Education
inferred← citeshttps://doi.org/10.48550/arxiv.1805.00923openalex-snapshot
GraphIt: A High-Performance DSL for Graph Analytics
inferred← citeshttps://doi.org/10.48550/arxiv.1905.12799openalex-snapshot
Reinforcement Learning and Adaptive Sampling for Optimized DNN Compilation
inferred← citeshttps://doi.org/10.48550/arxiv.1911.11576openalex-snapshot
FusionStitching: Boosting Execution Efficiency of Memory Intensive Computations for DL Workloads
inferred← citeshttps://doi.org/10.48550/arxiv.2001.00090openalex-snapshot
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap
inferred← citeshttps://doi.org/10.48550/arxiv.2001.09995openalex-snapshot
Automated Parallel Kernel Extraction from Dynamic Application Traces
inferred← citeshttps://doi.org/10.48550/arxiv.2002.11054openalex-snapshot
MLIR: A Compiler Infrastructure for the End of Moore's Law
inferred← citeshttps://doi.org/10.48550/arxiv.2004.11127openalex-snapshot
Kernel Operations on the GPU, with Autodiff, without Memory Overflows
inferred← citeshttps://doi.org/10.70675/1b4f212fz5b5az4a9fz9274zcfbec0252ff3openalex-snapshot
Energy-efficient computing with integrated ferroelectrics for embedded and edge devices
inferred← citeshttps://doi.org/10.70675/2345d165z57fcz4915z8fdbz28a66d27f7cdopenalex-snapshot
Low-level programming model for In-Memory Computing architecture
inferred← citeshttps://doi.org/10.70675/c95525a9z1762z4756z8407z29267903984copenalex-snapshot
Design of the InKS programming model for the separation of algorithm and optimizations in simulation codes : application to the 6D Vlasov-Poisson system solving
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.