On the public citation graph

Reflecting on Random Generation

https://doi.org/10.1145/3607842
0 signed · 41 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/3-540-06859-7_148openalex-snapshot
Towards a theory of type structure
inferredcites →https://doi.org/10.1007/978-3-030-17184-1_6openalex-snapshot
Composing Bidirectional Programs Monadically
inferredcites →https://doi.org/10.1007/978-3-030-47147-7_4openalex-snapshot
How to Specify It!
inferredcites →https://doi.org/10.1007/978-3-319-45744-4_29openalex-snapshot
IFuzzer: An Evolutionary Interpreter Fuzzer Using Genetic Programming
inferredcites →https://doi.org/10.1007/978-3-642-32202-0_3openalex-snapshot
Typed Tagless Final Interpreters
inferredcites →https://doi.org/10.1016/0304-3975(86)90044-7openalex-snapshot
The system F of variable types, fifteen years later
inferredcites →https://doi.org/10.1016/0890-5401(91)90052-4openalex-snapshot
Notions of computation and monads
inferredcites →https://doi.org/10.1109/18.61115openalex-snapshot
Divergence measures based on the Shannon entropy
inferredcites →https://doi.org/10.1109/ase.2017.8115618openalex-snapshot
Learn&Fuzz: Machine learning for input fuzzing
inferredcites →https://doi.org/10.1109/icse.2019.00081openalex-snapshot
Superion: Grammar-Aware Greybox Fuzzing
inferredcites →https://doi.org/10.1109/tse.2020.3013716openalex-snapshot
Inputs From Hell:
inferredcites →https://doi.org/10.1145/1375581.1375607openalex-snapshot
Grammar-based whitebox fuzzing
inferredcites →https://doi.org/10.1145/1543134.1411292openalex-snapshot
Smallcheck and lazy smallcheck
inferredcites →https://doi.org/10.1145/1982595.1982615openalex-snapshot
Testing an optimising compiler by generating random lambda terms
inferredcites →https://doi.org/10.1145/2088456.1863529openalex-snapshot
A generic deriving mechanism for Haskell
inferredcites →https://doi.org/10.1145/2430532.2364515openalex-snapshot
Feat
inferredcites →https://doi.org/10.1145/2593882.2593900openalex-snapshot
Probabilistic programming
inferredcites →https://doi.org/10.1145/2633357.2633365openalex-snapshot
SmartCheck
inferredcites →https://doi.org/10.1145/2887747.2804319openalex-snapshot
Freer monads, more extensible effects
inferredcites →https://doi.org/10.1145/3236778openalex-snapshot
Functional programming for modular Bayesian inference
inferredcites →https://doi.org/10.1145/3428273openalex-snapshot
Digging for fold: synthesis-aided API discovery for Haskell
inferredcites →https://doi.org/10.1145/3452379openalex-snapshot
PLIERS
inferredcites →https://doi.org/10.1145/3460319.3464814openalex-snapshot
Gramatron: effective grammar-aware fuzzing
inferredcites →https://doi.org/10.1145/3469279openalex-snapshot
PL and HCI
inferredcites →https://doi.org/10.1145/351240.351266openalex-snapshot
QuickCheck
inferredcites →https://doi.org/10.1145/3519939.3523707openalex-snapshot
Computing correctly with inductive relations
inferredcites →https://doi.org/10.1145/3563291openalex-snapshot
Parsing randomness
inferredcites →https://doi.org/10.1214/aoms/1177729694openalex-snapshot
On Information and Sufficiency
inferredcites →https://doi.org/10.14722/ndss.2019.23412openalex-snapshot
NAUTILUS: Fishing for Deep Bugs with Grammars
inferredcites →https://doi.org/10.21105/joss.01891openalex-snapshot
Hypothesis: A new approach to property-based testing
inferredcites →https://doi.org/10.4230/lipics.ecoop.2020.13openalex-snapshot
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)

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-57267-8openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8_3openalex-snapshot
Reconciling Partial and Local Invertibility
inferred← citeshttps://doi.org/10.1007/978-3-032-22723-2_2openalex-snapshot
Lenses for Partially-Specified States
inferred← citeshttps://doi.org/10.1145/3597503.3639581openalex-snapshot
Property-Based Testing in Practice
inferred← citeshttps://doi.org/10.1145/3654777.3676407openalex-snapshot
Tyche: Making Sense of PBT Effectiveness
inferred← citeshttps://doi.org/10.1145/3704849openalex-snapshot
Finite-Choice Logic Programming
inferred← citeshttps://doi.org/10.1145/3705305openalex-snapshot
Validity-Preserving Delta Debugging via Generator Trace Reduction
inferred← citeshttps://doi.org/10.1145/3759427.3760381openalex-snapshot
Invertible Syntax without the Tuples (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3764115openalex-snapshot
Bennet: Randomized Specification Testing for Heap-Manipulating Programs
inferred← citeshttps://doi.org/10.1145/3828695openalex-snapshot
Compositional Generator Equivalence
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.