On the public citation graph

Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

https://doi.org/10.1145/3591295
0 signed · 68 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf01379404openalex-snapshot
Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time
inferredcites →https://doi.org/10.1007/bf01407835openalex-snapshot
Some efficient solutions to the affine scheduling problem. I. One-dimensional time
inferredcites →https://doi.org/10.1007/s10664-022-10146-1openalex-snapshot
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively
inferredcites →https://doi.org/10.1016/0950-5849(95)01055-6openalex-snapshot
The automatic generation of test cases for optimizing Fortran compilers
inferredcites →https://doi.org/10.1016/j.jss.2020.110884openalex-snapshot
An empirical study of optimization bugs in GCC and LLVM
inferredcites →https://doi.org/10.1016/s0950-5849(97)00017-7openalex-snapshot
Compiler test case generation methods: a survey and assessment
inferredcites →https://doi.org/10.1109/apccas.2016.7804063openalex-snapshot
Random testing of C compilers based on test program generation by equivalence transformation
inferredcites →https://doi.org/10.1109/inpar.2012.6339601openalex-snapshot
ispc: A SPMD compiler for high-performance CPU programming
inferredcites →https://doi.org/10.1109/tse.2021.3058671openalex-snapshot
CTOS: Compiler Testing for Optimization Sequences of LLVM
inferredcites →https://doi.org/10.1145/1460833.1460869openalex-snapshot
A general test data generator for COBOL
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2338965.2336763openalex-snapshot
Swarm testing
inferredcites →https://doi.org/10.1145/2345156.2254104openalex-snapshot
Test-case reduction for C compiler bugs
inferredcites →https://doi.org/10.1145/2666356.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2737924.2737986openalex-snapshot
Many-core compiler fuzzing
inferredcites →https://doi.org/10.1145/2858965.2814319openalex-snapshot
Finding deep compiler bugs via guided stochastic program mutation
inferredcites →https://doi.org/10.1145/2983990.2984038openalex-snapshot
Finding compiler bugs via live code mutation
inferredcites →https://doi.org/10.1145/3180155.3180236openalex-snapshot
Perses
inferredcites →https://doi.org/10.1145/3213846.3213848openalex-snapshot
Compiler fuzzing through deep learning
inferredcites →https://doi.org/10.1145/3324884.3418933openalex-snapshot
Closer to the edge
inferredcites →https://doi.org/10.1145/3363562openalex-snapshot
A Survey of Compiler Testing
inferredcites →https://doi.org/10.1145/3453483.3454030openalex-snapshot
Alive2: bounded translation validation for LLVM
inferredcites →https://doi.org/10.1145/3485529openalex-snapshot
Generative type-aware mutation for testing SMT solvers
inferredcites →https://doi.org/10.1371/journal.pone.0237749openalex-snapshot
A systematic review of fuzzing based on machine learning techniques
inferredcites →https://doi.org/10.1609/aaai.v33i01.33011044openalex-snapshot
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing
inferredcites →https://doi.org/10.2197/ipsjtsldm.7.91openalex-snapshot
Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions

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-031-64626-3_17openalex-snapshot
Verified Validation for Affine Scheduling in Polyhedral Compilation
inferred← citeshttps://doi.org/10.1007/978-3-031-93706-4_6openalex-snapshot
Vellvm: Formalizing the Informal LLVM
inferred← citeshttps://doi.org/10.1007/s10664-025-10642-0openalex-snapshot
CTDip: a diversity-guided test program synthesis approach for boosting compiler bug detection
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103359openalex-snapshot
Random test generators demystified: Differences and potential for compiler reliability
inferred← citeshttps://doi.org/10.1109/assic64892.2025.11158099openalex-snapshot
Streamlining C Compilation: Harnessing Different Optimization Techniques
inferred← citeshttps://doi.org/10.1109/eiecc67963.2025.11409518openalex-snapshot
Research on Compiler Fuzzing Based on Syntax-semantics Dual-Dimensional Classification
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00130openalex-snapshot
IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
inferred← citeshttps://doi.org/10.1109/ispass69572.2026.00057openalex-snapshot
PLCG: Parametric Loop Code Generator for Loop Transformation Optimization Benchmarking
inferred← citeshttps://doi.org/10.1109/tse.2025.3566490openalex-snapshot
A Comprehensive Study of OOP-Related Bugs in C++ Compilers
inferred← citeshttps://doi.org/10.1145/3597503.3639208openalex-snapshot
Finding XPath Bugs in XML Document Processors via Differential Testing
inferred← citeshttps://doi.org/10.1145/3600006.3613140openalex-snapshot
Validating JIT Compilers via Compilation Space Exploration
inferred← citeshttps://doi.org/10.1145/3622781.3674171openalex-snapshot
The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators
inferred← citeshttps://doi.org/10.1145/3622781.3674188openalex-snapshot
Validating JVM Compilers via Maximizing Optimization Interactions
inferred← citeshttps://doi.org/10.1145/3632904openalex-snapshot
API-Driven Program Synthesis for Testing Static Typing Implementations
inferred← citeshttps://doi.org/10.1145/3656386openalex-snapshot
Boosting Compiler Testing by Injecting Real-World Code
inferred← citeshttps://doi.org/10.1145/3656404openalex-snapshot
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
inferred← citeshttps://doi.org/10.1145/3669940.3707271openalex-snapshot
Debugger Toolchain Validation via Cross-Level Debugging
inferred← citeshttps://doi.org/10.1145/3671016.3671387openalex-snapshot
Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation
inferred← citeshttps://doi.org/10.1145/3691620.3695369openalex-snapshot
Efficient Code Causes Inefficiency in Compiler Optimizations
inferred← citeshttps://doi.org/10.1145/3691620.3695548openalex-snapshot
Shoot Yourself in the Foot — Efficient Code Causes Inefficiency in Compiler Optimizations
inferred← citeshttps://doi.org/10.1145/3715102openalex-snapshot
Validating JIT Compilers via Compilation Space Exploration
inferred← citeshttps://doi.org/10.1145/3715325openalex-snapshot
Unveiling Cross-checking Opportunities in Verilog Compilers
inferred← citeshttps://doi.org/10.1145/3719027.3744790openalex-snapshot
RVISmith: Fuzzing Compilers for RVV Intrinsics
inferred← citeshttps://doi.org/10.1145/3729275openalex-snapshot
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
inferred← citeshttps://doi.org/10.1145/3729305openalex-snapshot
Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
inferred← citeshttps://doi.org/10.1145/3744916.3773212openalex-snapshot
Fuzzing Java Optimizing Compilers with Complex Inter-Class Structures Guided by Heterogeneous Program Graphs
inferred← citeshttps://doi.org/10.1145/3744916.3787827openalex-snapshot
Validating Mixed-Integer Programming Solvers
inferred← citeshttps://doi.org/10.1145/3758316.3763251openalex-snapshot
LegoFuzz: Interleaving Large Language Models for Compiler Testing
inferred← citeshttps://doi.org/10.1145/3763079openalex-snapshot
Interleaving Large Language Models for Compiler Testing
inferred← citeshttps://doi.org/10.1145/3763094openalex-snapshot
Fuzzing C++ Compilers via Type-Driven Mutation
inferred← citeshttps://doi.org/10.1145/3763161openalex-snapshot
DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
inferred← citeshttps://doi.org/10.1145/3774748.3787647openalex-snapshot
Detection of Optimization-introduced Bugs in C Compilers
inferred← citeshttps://doi.org/10.1145/3779212.3790183openalex-snapshot
LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models
inferred← citeshttps://doi.org/10.1145/3790099openalex-snapshot
Unmasking the Type Inference Capabilities of LLMs for Java Code Snippets
inferred← citeshttps://doi.org/10.1145/3793302.3793374openalex-snapshot
Learning Compiler Fuzzing Mutators from Historical Bugs
inferred← citeshttps://doi.org/10.1145/3793554openalex-snapshot
From Stochastic to Semantic: Advanced Attribute-Guided Compiler Testing
inferred← citeshttps://doi.org/10.1145/3798245openalex-snapshot
Understanding and Finding JIT Compiler Performance Bugs
inferred← citeshttps://doi.org/10.1145/3808268openalex-snapshot
Semantic Reification: A New Paradigm for Random Program Generation
inferred← citeshttps://doi.org/10.1145/3808320openalex-snapshot
Enumerating Ill-Typed Programs for Testing Type Analyzers
inferred← citeshttps://doi.org/10.1145/3837729.3839589openalex-snapshot
Understanding Correctness Failures in Compiler Optimization
inferred← citeshttps://doi.org/10.1145/3837729.3840482openalex-snapshot
Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
inferred← citeshttps://doi.org/10.1145/3839454openalex-snapshot
Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses
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.