On the public citation graph
JISET
0 signed · 38 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-030-30942-8_28openalex-snapshot
Formal Semantics Extraction from Natural Language Specifications for ARM
inferredcites →https://doi.org/10.1007/978-3-540-89330-1_22openalex-snapshot
An Operational Semantics for JavaScript
inferredcites →https://doi.org/10.1007/978-3-642-03237-0_17openalex-snapshot
Type Analysis for JavaScript
inferredcites →https://doi.org/10.1007/978-3-642-31057-7_20openalex-snapshot
Correlation Tracking for Points-To Analysis of JavaScript
inferredcites →https://doi.org/10.1016/j.jlap.2010.03.012openalex-snapshot
An overview of the K semantic framework
inferredcites →https://doi.org/10.1145/1328408.1328424openalex-snapshot
Packrat parsers can support left recursion
inferredcites →https://doi.org/10.1145/2635868.2635904openalex-snapshot
JSAI: a static analysis platform for JavaScript
inferredcites →https://doi.org/10.1145/2737924.2737991openalex-snapshot
KJS: a complete formal semantics of JavaScript
inferredcites →https://doi.org/10.1145/2884781.2884881openalex-snapshot
Automatic model generation from documentation for Java API functions
inferredcites →https://doi.org/10.1145/3158138openalex-snapshot
JaVerT: JavaScript verification toolchain
inferredcites →https://doi.org/10.1145/365813.365821openalex-snapshot
A final solution to the Dangling else of ALGOL 60 and related languages
inferredcites →https://doi.org/10.4230/lipics.ecoop.2015.735openalex-snapshot
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.3199openalex-snapshot
Declarative static analysis for multilingual programs using CodeQL
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678781openalex-snapshot
JSTAR: JavaScript Specification Type Analyzer using Refinement
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00119openalex-snapshot
WEST: Specification-Based Test Generation for WebAssembly
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00203openalex-snapshot
Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks
inferred← citeshttps://doi.org/10.1109/icse-companion52605.2021.00065openalex-snapshot
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification
inferred← citeshttps://doi.org/10.1109/icse-companion52605.2021.00073openalex-snapshot
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00015openalex-snapshot
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00151openalex-snapshot
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00020openalex-snapshot
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
inferred← citeshttps://doi.org/10.1145/3453483.3454054openalex-snapshot
Automated conformance testing for JavaScript engines via deep compiler fuzzing
inferred← citeshttps://doi.org/10.1145/3540250.3549097openalex-snapshot
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis
inferred← citeshttps://doi.org/10.1145/3551357.3551381openalex-snapshot
A Faithful Description of ECMAScript Algorithms
inferred← citeshttps://doi.org/10.1145/3591240openalex-snapshot
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
inferred← citeshttps://doi.org/10.1145/3624723openalex-snapshot
JavaScript Language Design and Implementation in Tandem
inferred← citeshttps://doi.org/10.1145/3656440openalex-snapshot
Bringing the WebAssembly Standard up to Speed with SpecTec
inferred← citeshttps://doi.org/10.1145/3674666openalex-snapshot
A Coq Mechanization of JavaScript Regular Expression Semantics
inferred← citeshttps://doi.org/10.1145/3763067openalex-snapshot
React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks
inferred← citeshttps://doi.org/10.1145/3776710openalex-snapshot
Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications
inferred← citeshttps://doi.org/10.1145/3808231openalex-snapshot
Selective Feature-Sensitive Coverage for Conformance Testing of Programming Languages
inferred← citeshttps://doi.org/10.1145/3832783.3837549openalex-snapshot
MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification
inferred← citeshttps://doi.org/10.1145/3839535openalex-snapshot
P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
inferred← citeshttps://doi.org/10.14569/ijacsa.2022.0130791openalex-snapshot
Mobile Application Prototype: Learning in the Programming Course in Computer Engineering Students
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.