On the public citation graph
Effect-driven QuickChecking of compilers
0 signed · 54 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.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot
Principles of Program Analysis
inferredcites →https://doi.org/10.1007/978-3-662-46669-8_16openalex-snapshot
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
inferredcites →https://doi.org/10.1017/s0956796815000143openalex-snapshot
Generating constrained random data with uniform distribution
inferredcites →https://doi.org/10.1142/p132#t=tocopenalex-snapshot
Type and Effect Systems: Behaviours for Concurrency
inferredcites →https://doi.org/10.1145/1982595.1982615openalex-snapshot
Testing an optimising compiler by generating random lambda terms
inferredcites →https://doi.org/10.1145/1993316.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2594291.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2666356.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2896921.2896928openalex-snapshot
Find more bugs with QuickCheck!
inferredcites →https://doi.org/10.1145/319838.319848openalex-snapshot
Integrating functional and imperative programming
inferredcites →https://doi.org/10.1145/349214.349230openalex-snapshot
Type-based analysis of uncaught exceptions
inferredcites →https://doi.org/10.1145/567752.567756openalex-snapshot
An efficient way to find the side effects of procedure calls and the aliases of variables
inferredcites →https://doi.org/10.1145/780822.781153openalex-snapshot
A static analyzer for large safety-critical software
inferredcites →https://doi.org/10.1145/781131.781153openalex-snapshot
A static analyzer for large safety-critical software
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-64437-6_11openalex-snapshot
Stack-Driven Program Generation of WebAssembly
inferred← citeshttps://doi.org/10.1007/978-3-319-89719-6_4openalex-snapshot
QuickChecking Patricia Trees
inferred← citeshttps://doi.org/10.1007/978-3-319-94460-9_7openalex-snapshot
Liveness-Driven Random Program Generation
inferred← citeshttps://doi.org/10.1007/s10664-022-10239-xopenalex-snapshot
Towards understanding bugs in Python interpreters
inferred← citeshttps://doi.org/10.1016/j.entcs.2019.04.002openalex-snapshot
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102494openalex-snapshot
A type-directed algorithm to generate random well-typed Java 8 programs
inferred← citeshttps://doi.org/10.1017/s1471068424000176openalex-snapshot
Property-Based Testing by Elaborating Proof Outlines
inferred← citeshttps://doi.org/10.1109/ast.2019.00013openalex-snapshot
Generating Random Structurally Rich Algebraic Data Type Values
inferred← citeshttps://doi.org/10.1109/fdl50818.2020.9232935openalex-snapshot
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00024openalex-snapshot
The Security Risk of Lacking Compiler Protection in WebAssembly
inferred← citeshttps://doi.org/10.1145/3178372.3179521openalex-snapshot
Finding missed compiler optimizations by differential testing
inferred← citeshttps://doi.org/10.1145/3236024.3236037openalex-snapshot
Feedback-directed differential testing of interactive debuggers
inferred← citeshttps://doi.org/10.1145/3242744.3242747openalex-snapshot
Branching processes for QuickCheck generators
inferred← citeshttps://doi.org/10.1145/3299711.3242747openalex-snapshot
Branching processes for QuickCheck generators
inferred← citeshttps://doi.org/10.1145/3354166.3354170openalex-snapshot
Property-Based Testing via Proof Reconstruction
inferred← citeshttps://doi.org/10.1145/3377811.3380399openalex-snapshot
Quickly generating diverse valid test inputs with reinforcement learning
inferred← citeshttps://doi.org/10.1145/3412932.3412943openalex-snapshot
Deriving compositional random generators
inferred← citeshttps://doi.org/10.1145/3477314.3507308openalex-snapshot
Security risks of porting C programs to webassembly
inferred← citeshttps://doi.org/10.1145/3547653openalex-snapshot
Random testing of a higher-order blockchain language (experience report)
inferred← citeshttps://doi.org/10.1145/3607860openalex-snapshot
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
inferred← citeshttps://doi.org/10.1145/3609026openalex-snapshot
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium
inferred← citeshttps://doi.org/10.1145/3609026.3609730openalex-snapshot
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
inferred← citeshttps://doi.org/10.1145/3632919openalex-snapshot
Generating Well-Typed Terms That Are Not “Useless”
inferred← citeshttps://doi.org/10.1145/3729305openalex-snapshot
Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
inferred← citeshttps://doi.org/10.1145/3759427.3760378openalex-snapshot
Property-Based Testing of OCaml 5’s Runtime System
inferred← citeshttps://doi.org/10.1145/3798212openalex-snapshot
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
inferred← citeshttps://doi.org/10.1145/3839453openalex-snapshot
Testing Theorems, Fully Automatically
inferred← citeshttps://doi.org/10.48550/arxiv.2005.08856openalex-snapshot
How to generate random lambda terms?
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.