On the public citation graph
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
0 signed · 82 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/978-3-319-30936-1_14openalex-snapshot
The Essence of Dependent Object Types
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
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.1109/ase.2015.65openalex-snapshot
Fuzzing the Rust Typechecker Using CLP (T)
inferredcites →https://doi.org/10.1109/ase.2017.8115662openalex-snapshot
A comprehensive study of real-world numerical bug characteristics
inferredcites →https://doi.org/10.1109/ase.2017.8115663openalex-snapshot
A comprehensive study on real world concurrency bugs in Node.js
inferredcites →https://doi.org/10.1109/icse.2017.70openalex-snapshot
Learning to Prioritize Test Programs for Compiler Testing
inferredcites →https://doi.org/10.1109/icse.2019.00081openalex-snapshot
Superion: Grammar-Aware Greybox Fuzzing
inferredcites →https://doi.org/10.1109/icse.2019.00127openalex-snapshot
Deep Differential Testing of JVM Implementations
inferredcites →https://doi.org/10.1109/icst.2016.19openalex-snapshot
Test Case Prioritization for Compilers: A Text-Vector Based Approach
inferredcites →https://doi.org/10.1109/ieeestd.2010.5399061openalex-snapshot
IEEE Standard Classification for Software Anomalies
inferredcites →https://doi.org/10.1109/sp40000.2020.00067openalex-snapshot
Fuzzing JavaScript Engines with Aspect-preserving Mutation
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2254064.2254075openalex-snapshot
Understanding and detecting real-world performance bugs
inferredcites →https://doi.org/10.1145/2254064.2254104openalex-snapshot
Test-case reduction for C compiler bugs
inferredcites →https://doi.org/10.1145/2345156.2254075openalex-snapshot
Understanding and detecting real-world performance bugs
inferredcites →https://doi.org/10.1145/2345156.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/2666356.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/2858965.2814319openalex-snapshot
Finding deep compiler bugs via guided stochastic program mutation
inferredcites →https://doi.org/10.1145/286936.286957openalex-snapshot
Making the future safe for the past
inferredcites →https://doi.org/10.1145/286942.286957openalex-snapshot
Making the future safe for the past
inferredcites →https://doi.org/10.1145/2884781.2884879openalex-snapshot
Finding and analyzing compiler warning defects
inferredcites →https://doi.org/10.1145/2908080.2908095openalex-snapshot
Coverage-directed differential testing of JVM implementations
inferredcites →https://doi.org/10.1145/2931037.2931074openalex-snapshot
Toward understanding compiler bugs in GCC and LLVM
inferredcites →https://doi.org/10.1145/2980983.2908095openalex-snapshot
Coverage-directed differential testing of JVM implementations
inferredcites →https://doi.org/10.1145/2983990.2984038openalex-snapshot
Finding compiler bugs via live code mutation
inferredcites →https://doi.org/10.1145/3022671.2984038openalex-snapshot
Finding compiler bugs via live code mutation
inferredcites →https://doi.org/10.1145/3062341.3062379openalex-snapshot
Skeletal program enumeration for rigorous compiler testing
inferredcites →https://doi.org/10.1145/3133917openalex-snapshot
Automated testing of graphics shader compilers
inferredcites →https://doi.org/10.1145/3140587.3062379openalex-snapshot
Skeletal program enumeration for rigorous compiler testing
inferredcites →https://doi.org/10.1145/3236024.3236057openalex-snapshot
Testing probabilistic programming systems
inferredcites →https://doi.org/10.1145/3360581openalex-snapshot
Compiler fuzzing: how much does it matter?
inferredcites →https://doi.org/10.1145/3360584openalex-snapshot
Casting about in the dark: an empirical study of cast operations in Java programs
inferredcites →https://doi.org/10.1145/3360589openalex-snapshot
Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild
inferredcites →https://doi.org/10.1145/3382494.3410676openalex-snapshot
On the adoption, usage and evolution of Kotlin features in Android development
inferredcites →https://doi.org/10.1145/3428264openalex-snapshot
Random testing for C and C++ compilers with YARPGen
inferredcites →https://doi.org/10.1145/3428282openalex-snapshot
Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences
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.4230/lipics.ecoop.2020.22openalex-snapshot
Putting Randomized Compiler Testing into Production (Experience Report)
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s44443-026-01115-5openalex-snapshot
RL–LLMfuzzer: reinforcement learning–guided dual–model differential fuzzing for compiler testing
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00025openalex-snapshot
A Tale of Two DL Cities: When Library Tests Meet Compiler
inferred← citeshttps://doi.org/10.1109/qrs62785.2024.00036openalex-snapshot
Towards Understanding Bugs in Go Programming Language
inferred← citeshttps://doi.org/10.1109/saner56733.2023.00041openalex-snapshot
A Comprehensive Study of WebAssembly Runtime Bugs
inferred← citeshttps://doi.org/10.1109/stc55697.2022.00035openalex-snapshot
Data Type Bugs Taxonomy: Integer Overflow, Juggling, and Pointer Arithmetics in Spotlight
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/3563328openalex-snapshot
A study of inline assembly in solidity smart contracts
inferred← citeshttps://doi.org/10.1145/3597926.3598053openalex-snapshot
Fuzzing Deep Learning Compilers with HirGen
inferred← citeshttps://doi.org/10.1145/3600006.3613140openalex-snapshot
Validating JIT Compilers via Compilation Space Exploration
inferred← citeshttps://doi.org/10.1145/3626313openalex-snapshot
Defect Categorization in Compilers: A Multi-vocal Literature Review
inferred← citeshttps://doi.org/10.1145/3632904openalex-snapshot
API-Driven Program Synthesis for Testing Static Typing Implementations
inferred← citeshttps://doi.org/10.1145/3650212.3680362openalex-snapshot
Towards Understanding the Bugs in Solidity Compiler
inferred← citeshttps://doi.org/10.1145/3650212.3680374openalex-snapshot
Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
inferred← citeshttps://doi.org/10.1145/3660821openalex-snapshot
Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis
inferred← citeshttps://doi.org/10.1145/3678000openalex-snapshot
Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
inferred← citeshttps://doi.org/10.1145/3678000.3678206openalex-snapshot
Type-Level Property Based Testing
inferred← citeshttps://doi.org/10.1145/3689799openalex-snapshot
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
inferred← citeshttps://doi.org/10.1145/3715102openalex-snapshot
Validating JIT Compilers via Compilation Space Exploration
inferred← citeshttps://doi.org/10.1145/3744916.3773237openalex-snapshot
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
inferred← citeshttps://doi.org/10.1145/3763094openalex-snapshot
Fuzzing C++ Compilers via Type-Driven Mutation
inferred← citeshttps://doi.org/10.1145/3763152openalex-snapshot
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
inferred← citeshttps://doi.org/10.1145/3763171openalex-snapshot
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers
inferred← citeshttps://doi.org/10.1145/3763800openalex-snapshot
An Empirical Study of Bugs in the rustc Compiler
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/3832226openalex-snapshot
Towards Understanding the Bugs in Verilator, a Hardware Description Language Compiler
inferred← citeshttps://doi.org/10.1145/3832300openalex-snapshot
Characterizing and Repairing Obsolete Android GUI Tests under UI Evolution
inferred← citeshttps://doi.org/10.1145/3832783.3834396openalex-snapshot
Finding Typing-Related Bugs in JVM Implementations
inferred← citeshttps://doi.org/10.1145/3847119openalex-snapshot
Understanding Bugs in Model Context Protocol Development Frameworks: An Empirical Study
inferred← citeshttps://doi.org/10.26553/jikm.2024.15.1.97-115openalex-snapshot
Health Care System Application (Good Care) Android-Based at Primary Health Care (Case Study at Clinic of Wijaya Kusuma)
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.