On the public citation graph

Learning to blame: localizing novice type errors with data-driven diagnosis

https://doi.org/10.1145/3138818
0 signed · 81 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/11431664_5openalex-snapshot
Explaining ML Type Errors by Data Flows
inferredcites →https://doi.org/10.1007/3-540-36575-3_20openalex-snapshot
Type Error Slicing in Implicitly Typed Higher-Order Languages
inferredcites →https://doi.org/10.1007/3-540-44898-5_16openalex-snapshot
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
inferredcites →https://doi.org/10.1007/3-540-48515-5_9openalex-snapshot
On the Unification of Substitutions in Type Inference
inferredcites →https://doi.org/10.1007/978-0-387-84858-7openalex-snapshot
The Elements of Statistical Learning: Data Mining, Inference, and Prediction
inferredcites →https://doi.org/10.1007/978-3-319-07151-0_3openalex-snapshot
Guided Type Debugging
inferredcites →https://doi.org/10.1007/978-3-319-94463-0openalex-snapshot
Neural Networks and Deep Learning: A Textbook
inferredcites →https://doi.org/10.1007/978-3-540-47648-1_5582openalex-snapshot
Supervised (Machine) Learning
inferredcites →https://doi.org/10.1007/978-3-540-74130-5_12openalex-snapshot
Heuristics for Type Error Discovery and Recovery
inferredcites →https://doi.org/10.1007/978-3-642-32037-8_1openalex-snapshot
Constraint-Free Type Error Slicing
inferredcites →https://doi.org/10.1007/978-3-662-49498-1_26openalex-snapshot
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules
inferredcites →https://doi.org/10.1016/0167-6423(95)00007-0openalex-snapshot
Explaining type inference
inferredcites →https://doi.org/10.1016/j.scico.2004.01.004openalex-snapshot
Type error slicing in implicitly typed higher-order languages
inferredcites →https://doi.org/10.1017/s0956796800000599openalex-snapshot
Teaching functional programming to first-year students
inferredcites →https://doi.org/10.1023/a:1010933404324openalex-snapshot
Random Forests
inferredcites →https://doi.org/10.1037/h0031619openalex-snapshot
Measuring nominal scale agreement among many raters.
inferredcites →https://doi.org/10.1108/978-1-83909-694-520211010openalex-snapshot
Neural Networks and Deep Learning
inferredcites →https://doi.org/10.1109/dsn.2002.1029005openalex-snapshot
Pinpoint: problem determination in large, dynamic Internet services
inferredcites →https://doi.org/10.1109/icse.2012.6227135openalex-snapshot
On the naturalness of software
inferredcites →https://doi.org/10.1109/mis.2009.36openalex-snapshot
The Unreasonable Effectiveness of Data
inferredcites →https://doi.org/10.1109/prdc.2006.18openalex-snapshot
An Evaluation of Similarity Coefficients for Software Fault Localization
inferredcites →https://doi.org/10.1109/taic.part.2007.13openalex-snapshot
On the Accuracy of Spectrum-based Fault Localization
inferredcites →https://doi.org/10.1109/tse.2016.2521368openalex-snapshot
A Survey on Software Fault Localization
inferredcites →https://doi.org/10.1145/1143844openalex-snapshot
Proceedings of the 23rd international conference on Machine learning - ICML '06
inferredcites →https://doi.org/10.1145/1250734.1250783openalex-snapshot
Searching for type-error messages
inferredcites →https://doi.org/10.1145/1596614.1596624openalex-snapshot
Type-safe diff for families of datatypes
inferredcites →https://doi.org/10.1145/176454.176460openalex-snapshot
Explaining type errors in polymorphic languages
inferredcites →https://doi.org/10.1145/1882291.1882315openalex-snapshot
A study of the uniqueness of source code
inferredcites →https://doi.org/10.1145/1993316.1993550openalex-snapshot
Cause clue clauses
inferredcites →https://doi.org/10.1145/231379.231387openalex-snapshot
Catching bugs in the web of program invariants
inferredcites →https://doi.org/10.1145/249069.231387openalex-snapshot
Catching bugs in the web of program invariants
inferredcites →https://doi.org/10.1145/2491509.2491513openalex-snapshot
Fault localization prioritization
inferredcites →https://doi.org/10.1145/2535838.2535863openalex-snapshot
Counter-factual typing for debugging type errors
inferredcites →https://doi.org/10.1145/2535838.2535870openalex-snapshot
Toward general diagnosis of static errors
inferredcites →https://doi.org/10.1145/2594291.2594321openalex-snapshot
Code completion with statistical language models
inferredcites →https://doi.org/10.1145/2660193.2660230openalex-snapshot
Finding minimum type error sources
inferredcites →https://doi.org/10.1145/2676726.2677009openalex-snapshot
Predicting Program Properties from "Big Code"
inferredcites →https://doi.org/10.1145/291891.291892openalex-snapshot
Proofs about a folklore let-polymorphic type inference algorithm
inferredcites →https://doi.org/10.1145/2931037.2931051openalex-snapshot
Practitioners' expectations on automated fault localization
inferredcites →https://doi.org/10.1145/2951913.2951915openalex-snapshot
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
inferredcites →https://doi.org/10.1145/2983990.2983994openalex-snapshot
A practical framework for type inference error explanation
inferredcites →https://doi.org/10.1145/357073.357079openalex-snapshot
Simplification by Cooperating Decision Procedures
inferredcites →https://doi.org/10.1145/366378.366379openalex-snapshot
A slicing-based approach for locating type errors
inferredcites →https://doi.org/10.1145/507635.507659openalex-snapshot
Compositional explanation of types and algorithmic debugging of type errors
inferredcites →https://doi.org/10.1145/512644.512648openalex-snapshot
Finding the source of type errors
inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot
Abstract interpretation
inferredcites →https://doi.org/10.1145/581339.581397openalex-snapshot
Visualization of test information to assist fault localization
inferredcites →https://doi.org/10.1145/944705.944707openalex-snapshot
Scripting the type inference process
inferredcites →https://doi.org/10.1214/aoms/1177730491openalex-snapshot
On a Test of Whether one of Two Random Variables is Stochastically Larger than the Other
inferredcites →https://doi.org/10.2307/2288003openalex-snapshot
Classification and Regression Trees.
inferredcites →https://doi.org/10.2307/2288384openalex-snapshot
Content Analysis: An Introduction to its Methodology.
inferredcites →https://doi.org/10.2307/2529310openalex-snapshot
The Measurement of Observer Agreement for Categorical Data
inferredcites →https://doi.org/10.4018/978-1-60566-010-3.ch031openalex-snapshot
Classification and Regression Trees
inferredcites →https://doi.org/10.48550/arxiv.1412.6980openalex-snapshot
Adam: A Method for Stochastic Optimization
inferredcites →https://doi.org/10.48550/arxiv.1708.07583openalex-snapshot
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
inferredcites →https://doi.org/10.5281/zenodo.806813openalex-snapshot
A Collection Of Novice Interactions With The Ocaml Top-Level System
inferredcites →https://doi.org/10.5555/2337223.2337322openalex-snapshot
On the naturalness of software

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/widm.70043openalex-snapshot
A Review of Unlabeled and Imbalanced Data Challenges in Machine Learning: Strategies and Solutions
inferred← citeshttps://doi.org/10.1007/978-3-031-21037-2_10openalex-snapshot
Novice Type Error Diagnosis with Natural Language Models
inferred← citeshttps://doi.org/10.1007/s10515-026-00656-3openalex-snapshot
Goanna: a novel approach for automated type error debugging
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111011openalex-snapshot
A hybrid code representation learning approach for predicting method names
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102544openalex-snapshot
Efficient counter-factual type error debugging
inferred← citeshttps://doi.org/10.1017/s095679681700020xopenalex-snapshot
Systematic identification and communication of type errors
inferred← citeshttps://doi.org/10.1109/ase.2019.00045openalex-snapshot
InFix: Automatically Repairing Novice Program Inputs
inferred← citeshttps://doi.org/10.1109/saner53432.2022.00053openalex-snapshot
Detecting Runtime Exceptions by Deep Code Representation Learning with Attention-Based Graph Neural Networks
inferred← citeshttps://doi.org/10.1109/tse.2021.3071750openalex-snapshot
Automated Classification of Overfitting Patches With Statically Extracted Code Features
inferred← citeshttps://doi.org/10.1145/3276502openalex-snapshot
Gradual liquid type inference
inferred← citeshttps://doi.org/10.1145/3276528openalex-snapshot
Automatic diagnosis and correction of logical errors for functional programming assignments
inferred← citeshttps://doi.org/10.1145/3328778.3366860openalex-snapshot
PABLO
inferred← citeshttps://doi.org/10.1145/3338906.3340455openalex-snapshot
DeepDelta: learning to repair compilation errors
inferred← citeshttps://doi.org/10.1145/3360586openalex-snapshot
Generating precise error specifications for C: a zero shot learning approach
inferred← citeshttps://doi.org/10.1145/3385412.3386005openalex-snapshot
Type error feedback via analytic program repair
inferred← citeshttps://doi.org/10.1145/3408987openalex-snapshot
Liquid information flow control
inferred← citeshttps://doi.org/10.1145/3591258openalex-snapshot
Proving and Disproving Equivalence of Functional Programming Assignments
inferred← citeshttps://doi.org/10.1145/3611643.3616283openalex-snapshot
Statistical Type Inference for Incomplete Programs
inferred← citeshttps://doi.org/10.1145/3618305.3623601openalex-snapshot
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver
inferred← citeshttps://doi.org/10.1145/3622812openalex-snapshot
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
inferred← citeshttps://doi.org/10.1145/3632910openalex-snapshot
Total Type Error Localization and Recovery with Holes
inferred← citeshttps://doi.org/10.1145/3729302openalex-snapshot
An Interactive Debugger for Rust Trait Errors
inferred← citeshttps://doi.org/10.1145/3808344openalex-snapshot
Navigating AND–OR Graph Modifications to Debug Failing Proof Search
inferred← citeshttps://doi.org/10.1145/3837779.3838162openalex-snapshot
Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections
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.