On the public citation graph
Rustlantis: Randomized Differential Testing of the Rust Compiler
0 signed · 39 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/s10664-022-10146-1openalex-snapshot
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively
inferredcites →https://doi.org/10.1007/s10817-009-9155-4openalex-snapshot
A Formally Verified Compiler Back-end
inferredcites →https://doi.org/10.1109/ase.2015.65openalex-snapshot
Fuzzing the Rust Typechecker Using CLP (T)
inferredcites →https://doi.org/10.1109/ijcnn48605.2020.9206911openalex-snapshot
DSmith: Compiler Fuzzing through Generative Deep Learning Model with Attention
inferredcites →https://doi.org/10.1145/1450058.1450093openalex-snapshot
Volatiles are miscompiled, and what to do about it
inferredcites →https://doi.org/10.1145/1993316.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2254064.2254104openalex-snapshot
Test-case reduction for C compiler bugs
inferredcites →https://doi.org/10.1145/2594291.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2814270.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/2998392.2998397openalex-snapshot
RandIR: differential testing for embedded compilers
inferredcites →https://doi.org/10.1145/3213846.3213848openalex-snapshot
Compiler fuzzing through deep learning
inferredcites →https://doi.org/10.1145/3360581openalex-snapshot
Compiler fuzzing: how much does it matter?
inferredcites →https://doi.org/10.1145/3371109openalex-snapshot
Stacked borrows: an aliasing model for Rust
inferredcites →https://doi.org/10.1145/3428264openalex-snapshot
Random testing for C and C++ compilers with YARPGen
inferredcites →https://doi.org/10.1145/3443420openalex-snapshot
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust
inferredcites →https://doi.org/10.1145/3510003.3510230openalex-snapshot
On the reliability of coverage-based fuzzer benchmarking
inferredcites →https://doi.org/10.1145/3597926.3604919openalex-snapshot
RustSmith: Random Differential Compiler Testing for Rust
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
inferredcites →https://doi.org/10.5281/zenodo.12670659openalex-snapshot
Reproduction Image for Article 'Rustlantis: Randomized Differential Testing of the Rust Compiler'
inferredcites →https://doi.org/10.5281/zenodo.8278273openalex-snapshot
GNU Parallel 20230822 ('Chandrayaan')
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1016/j.jss.2026.112927openalex-snapshot
ParityFuzz: Finding inconsistencies across solidity compilers via fine-grained mutation and differential analysis
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10989032openalex-snapshot
Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information
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/3719027.3744790openalex-snapshot
RVISmith: Fuzzing Compilers for RVV Intrinsics
inferred← citeshttps://doi.org/10.1145/3747509openalex-snapshot
Formal Semantics and Program Logics for a Fragment of OCaml
inferred← citeshttps://doi.org/10.1145/3755881.3755917openalex-snapshot
Emerging Compiler Testing Based on Test Case Reuse
inferred← citeshttps://doi.org/10.1145/3763094openalex-snapshot
Fuzzing C++ Compilers via Type-Driven Mutation
inferred← citeshttps://doi.org/10.1145/3763800openalex-snapshot
An Empirical Study of Bugs in the rustc Compiler
inferred← citeshttps://doi.org/10.1145/3776690openalex-snapshot
Miri: Practical Undefined Behavior Detection for Rust
inferred← citeshttps://doi.org/10.1145/3797128openalex-snapshot
Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation
inferred← citeshttps://doi.org/10.1145/3808268openalex-snapshot
Semantic Reification: A New Paradigm for Random Program Generation
inferred← citeshttps://doi.org/10.1145/3814942.3816133openalex-snapshot
Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top
inferred← citeshttps://doi.org/10.1145/3830418.3843907openalex-snapshot
Validating Rust Compilers with Trait-Type Constraint Graph
inferred← citeshttps://doi.org/10.1145/3832277openalex-snapshot
RICE: Harnessing LLMs and Historical Issues to Discover Internal Rust Compiler Errors
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.