On the public citation graph
A model for reasoning about JavaScript promises
0 signed · 58 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-10936-7_13openalex-snapshot
Sparse Dataflow Analysis with Pointers and Reachability
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-14107-2_7openalex-snapshot
The Essence of JavaScript
inferredcites →https://doi.org/10.1007/978-3-642-54807-9_12openalex-snapshot
String Analysis for Dynamic Field Access
inferredcites →https://doi.org/10.1017/s0956796899003329openalex-snapshot
The semantics of future and an application
inferredcites →https://doi.org/10.1109/icse.2017.33openalex-snapshot
RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay
inferredcites →https://doi.org/10.1109/icse.2017.34openalex-snapshot
Repairing Event Race Errors by Controlling Nondeterminism
inferredcites →https://doi.org/10.1109/icst.2014.17openalex-snapshot
Detecting Concurrency Errors in Client-Side Java Script Web Applications
inferredcites →https://doi.org/10.1145/1863543.1863553openalex-snapshot
Abstracting abstract machines
inferredcites →https://doi.org/10.1145/1963405.1963517openalex-snapshot
Statically locating web application bugs caused by asynchronous calls
inferredcites →https://doi.org/10.1145/199448.199484openalex-snapshot
The semantics of future and its use in program optimization
inferredcites →https://doi.org/10.1145/2025113.2025125openalex-snapshot
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
inferredcites →https://doi.org/10.1145/2254064.2254095openalex-snapshot
Race detection for web applications
inferredcites →https://doi.org/10.1145/2338965.2336758openalex-snapshot
Remedying the eval that men do
inferredcites →https://doi.org/10.1145/2491411.2491417openalex-snapshot
Practical static analysis of JavaScript applications in the presence of frameworks and libraries
inferredcites →https://doi.org/10.1145/2509136.2509538openalex-snapshot
Effective race detection for event-driven programs
inferredcites →https://doi.org/10.1145/2635868.2635904openalex-snapshot
JSAI: a static analysis platform for JavaScript
inferredcites →https://doi.org/10.1145/2660193.2660214openalex-snapshot
Determinacy in static analysis for jQuery
inferredcites →https://doi.org/10.1145/2786805.2786820openalex-snapshot
Detecting JavaScript races that matter
inferredcites →https://doi.org/10.1145/2814270.2814272openalex-snapshot
Static analysis of event-driven Node.js JavaScript applications
inferredcites →https://doi.org/10.1145/2814270.2814282openalex-snapshot
Stateless model checking of event-driven applications
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.2936openalex-snapshot
ThingsMigrate: Platform‐independent migration of stateful JavaScript Internet of Things applications
inferred← citeshttps://doi.org/10.1007/978-3-030-19274-7_43openalex-snapshot
Facilitating the Evolutionary Modifications in Distributed Apps via Automated Refactoring
inferred← citeshttps://doi.org/10.1007/978-3-030-29959-0_17openalex-snapshot
A Formal Model for Checking Cryptographic API Usage in JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-030-83128-8_3openalex-snapshot
What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style
inferred← citeshttps://doi.org/10.1007/978-981-16-8484-5_4openalex-snapshot
Continuous Assessment Analyzer Using Django
inferred← citeshttps://doi.org/10.1007/s00500-023-08740-6openalex-snapshot
RETRACTED ARTICLE: Web accessibility evaluation of private and government websites for people with disabilities through fuzzy classifier in the USA
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103157openalex-snapshot
Latch: Enabling large-scale automated testing on constrained systems
inferred← citeshttps://doi.org/10.1109/cgo.2019.8661173openalex-snapshot
Reasoning about the Node.js Event Loop using Async Graphs
inferred← citeshttps://doi.org/10.1109/icse-seip55303.2022.9794057openalex-snapshot
An Asynchronous Call Graph for JavaScript
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00146openalex-snapshot
PyCG: Practical Call Graph Generation in Python
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00022openalex-snapshot
NodeRacer: Event Race Detection for Node.js Applications
inferred← citeshttps://doi.org/10.1109/techdev61156.2023.00011openalex-snapshot
Typing Composable Coroutines
inferred← citeshttps://doi.org/10.1145/3276532openalex-snapshot
Finding broken promises in asynchronous JavaScript programs
inferred← citeshttps://doi.org/10.1145/3319618openalex-snapshot
A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems
inferred← citeshttps://doi.org/10.1145/3358503.3361273openalex-snapshot
Concurrency control of JavaScript with arrows
inferred← citeshttps://doi.org/10.1145/3366423.3380105openalex-snapshot
Client Insourcing: Bringing Ops In-House for Seamless Re-engineering of Full-Stack JavaScript Applications
inferred← citeshttps://doi.org/10.1145/3366424.3382087openalex-snapshot
Enhancing Web App Execution with Automated Reengineering
inferred← citeshttps://doi.org/10.1145/3383458openalex-snapshot
Deep Learning for Source Code Modeling and Generation
inferred← citeshttps://doi.org/10.1145/3485537openalex-snapshot
Automatic migration from synchronous to asynchronous JavaScript APIs
inferred← citeshttps://doi.org/10.1145/3486608.3486911openalex-snapshot
A concurrency model for JavaScript with cooperative cancellation
inferred← citeshttps://doi.org/10.1145/3510457.3513059openalex-snapshot
An asynchronous call graph for JavaScript
inferred← citeshttps://doi.org/10.1145/3611643.3616292openalex-snapshot
Code Coverage Criteria for Asynchronous Programs
inferred← citeshttps://doi.org/10.1145/3702977openalex-snapshot
Demystifying React Native Android Apps for Static Analysis
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.17760/d20560779openalex-snapshot
Leveraging large code bases for bug detection and test generation
inferred← citeshttps://doi.org/10.17760/d20560794openalex-snapshot
Optimizing asynchronous JavaScript applications
inferred← citeshttps://doi.org/10.22399/ijcesen.4992openalex-snapshot
Serverless vs. Provisioned Databases for Financial Apps: The 2024 Transition Toward AWS Aurora and PostgreSQL for Zero-Downtime Banking Resilience
inferred← citeshttps://doi.org/10.3390/network2020022openalex-snapshot
Evaluating Progressive Web App Accessibility for People with Disabilities
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2019.8openalex-snapshot
Static Analysis for Asynchronous JavaScript Programs
inferred← citeshttps://doi.org/10.5555/3314872.3314882openalex-snapshot
Reasoning about the Node.js event loop using async graphs
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.