Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T14:25:06.969716Z
Paper Citation Record · LEDGER
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
As of 13 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2411.15368.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
60 of 60 outbound references displayed
- verified exact3
- verified fuzzy50
- unresolved3
- parse uncertain4
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation c1fbe2df-3bc2-4a4c-bba2-3e1afd180df4 · outbound
This paper cites McConnell, Code complete - A practical handbook of software construction, 2nd Edition.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages McConnell, Code complete - A practical handbook of software construction, 2nd Edition
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.890486Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1184820f-fff4-4924-b07d-883b1f906b75 · outbound
This paper cites How many of all bugs do we find? A study of static bug detectors,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages How many of all bugs do we find? A study of static bug detectors,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.874393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 82cbcef5-b3f1-46b5-aaf9-77e92b5769b7 · outbound
This paper cites An empirical study on the correctness of formally verified distributed systems,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages An empirical study on the correctness of formally verified distributed systems,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.858636Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation cf45d2f2-c7da-4b64-a90c-4d3c0c6634ce · outbound
This paper cites On the presence and causes of lingering defects in software: An industrial study of lingering defects,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages On the presence and causes of lingering defects in software: An industrial study of lingering defects,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.843716Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a8f241bd-858a-43e8-8658-cd63b3f104a8 · outbound
This paper cites Software bug contributed to blackout,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Software bug contributed to blackout,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.829221Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 4ddf8259-ea1d-484c-8cdf-0bded166ab4a · outbound
This paper cites The real cost of software errors,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages The real cost of software errors,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.815927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d003ec0b-24b6-4f55-90c8-31ab9e5ed775 · outbound
This paper cites A large-scale study of programming languages and code quality in GitHub,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages A large-scale study of programming languages and code quality in GitHub,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.801827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b4563a7d-0d4b-4e04-9bd3-853d757f7e2b · outbound
This paper cites To type or not to type: Quantifying detectable bugs in JavaScript,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages To type or not to type: Quantifying detectable bugs in JavaScript,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.787612Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 84c74696-17ed-4467-acf9-bd3573ed2bc5 · outbound
This paper cites An empirical study of type-related defects in Python projects,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages An empirical study of type-related defects in Python projects,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.773128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bd84bd91-f776-41f8-a11f-2b8c5c9a6efa · outbound
This paper cites Building useful program analysis tools using an extensible Java compiler,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Building useful program analysis tools using an extensible Java compiler,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.757272Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c490b608-f412-447e-aa61-96c13b59942e · outbound
This paper cites Moving fast with software verification,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Moving fast with software verification,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.727681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 693a8e9a-c409-405c-9bea-4a5cd26804c2 · outbound
This paper cites Finding bugs is easy,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Finding bugs is easy,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.696665Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation caef8829-f1d1-4ca7-bf75-764aab45b46e · outbound
This paper cites Neural Bug Finding: A Study of Opportunities and Challenges.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Neural Bug Finding: A Study of Opportunities and Challenges
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:25:06.784938Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d28d908d-4f6b-4c4d-a8ac-7fb7a156d5af · outbound
This paper cites Learning to repre- sent programs with graphs,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Learning to repre- sent programs with graphs,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.682156Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d28c177b-dc7b-43af-94e7-a64b1e1f75a0 · outbound
This paper cites Probing pretrained models of source codes,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Probing pretrained models of source codes,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.667348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f777d1ac-daff-4bea-ae51-35e11b19cb7d · outbound
This paper cites Neural program repair by jointly learning to localize and repair,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Neural program repair by jointly learning to localize and repair,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.654434Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 0dcb43ff-2545-4b81-b321-3ef3ea1b589c · outbound
This paper cites Learning and evaluating contextual embedding of source code,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Learning and evaluating contextual embedding of source code,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.640050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 043e27c4-afda-4047-8520-958c7b161ffe · outbound
This paper cites Global relational models of source code,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Global relational models of source code,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.624954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5e8186eb-7c67-4658-b1b6-f13e87d3f681 · outbound
This paper cites The evolution of type annotations in Python: An empirical study,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages The evolution of type annotations in Python: An empirical study,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.610797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a8702627-7281-4929-924a-aec7b12aad8b · outbound
This paper cites Gated graph sequence neural networks,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Gated graph sequence neural networks,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.595972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation fe9c14a6-8cf5-404d-9145-a7ec1e9f5da7 · outbound
This paper cites CodeBERT: A pre-trained model for programming and natural languages,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages CodeBERT: A pre-trained model for programming and natural languages,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.581168Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2c1e33d4-c756-4e44-9625-8d144e7de5a5 · outbound
This paper cites GraphCodeBERT: Pre-training code representations with data flow,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages GraphCodeBERT: Pre-training code representations with data flow,
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.567477Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 683b2e15-b2f1-41c6-b398-a1707034654a · outbound
This paper cites UniXcoder: Unified cross-modal pre-training for code representation,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages UniXcoder: Unified cross-modal pre-training for code representation,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.554186Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ea26d68a-1c64-488b-ac75-f04a7e649953 · outbound
This paper cites Understanding neural code intelligence through program simplification,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Understanding neural code intelligence through program simplification,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.539075Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation fef3ec28-df26-49f3-8763-d0fa5449aaf1 · outbound
This paper cites How to train your neural bug detector: Artificial vs real bugs,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages How to train your neural bug detector: Artificial vs real bugs,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.524202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 432de2c6-1cb5-420b-9827-f067867fc976 · outbound
This paper cites Learning to fix build errors with Graph2Diff neural networks,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Learning to fix build errors with Graph2Diff neural networks,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.509764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b27f1422-a47c-44fe-aeda-ec9e61e07c41 · outbound
This paper cites How often do single-statement bugs occur?: The ManySStuBs4J dataset,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages How often do single-statement bugs occur?: The ManySStuBs4J dataset,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.480787Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 69144731-867e-4b75-8cc6-0a844263905f · outbound
This paper cites Graph neural networks in program analysis,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Graph neural networks in program analysis,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.464140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 763218b0-e2a5-4ff9-a3fd-38e46f1a52f5 · outbound
This paper cites Paper artifacts.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Paper artifacts
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.449053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation fc63e7bc-1815-402b-94b8-ecdeffd217a4 · outbound
This paper cites Python 3 types in the wild: a tale of two type systems,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Python 3 types in the wild: a tale of two type systems,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.433053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ec5bbea3-8896-4ade-a39c-73bf113ebd15 · outbound
This paper cites Pep 484 – type hints.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Pep 484 – type hints
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.405142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a9412e4f-5191-46b4-b33b-b4066abfb40a · outbound
This paper cites mypy - optional static typing for Python.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages mypy - optional static typing for Python
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.391147Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation dbb4a6fd-fe15-42ba-a6a1-c28eab14c3f3 · outbound
This paper cites Gradual typing for objects,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Gradual typing for objects,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.377330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 12ce07eb-1f35-4864-b2ea-69e1623dd0f8 · outbound
This paper cites an unresolved cited work.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Unresolved cited work
Reference 34
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-12T14:25:07.419213Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ab3a9092-4abe-46e1-969e-2285d1e39d67 · outbound
This paper cites Deep learning type inference,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Deep learning type inference,
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.344521Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6851daac-f252-44b7-8222-faf13099663f · outbound
This paper cites Typilus: Neural type hints,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Typilus: Neural type hints,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.329705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2a4a71c9-c571-45b7-946f-17aec4ae456d · outbound
This paper cites Attention is all you need,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Attention is all you need,
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:25:06.893454Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40d42e43-d1e8-48b4-915f-323e12ada776 · outbound
This paper cites pytype - a static type analyzer for Python code.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages pytype - a static type analyzer for Python code
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.361080Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a0efa5ba-a4b9-4840-aa23-61aacd2fa8b9 · outbound
This paper cites Semi-supervised classification with graph convolutional networks,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Semi-supervised classification with graph convolutional networks,
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.291075Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d49d864b-9045-4421-b47a-3c91bc7afa87 · outbound
This paper cites On the properties of neural machine translation: Encoder-decoder approaches,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages On the properties of neural machine translation: Encoder-decoder approaches,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.276494Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2e7df2c4-a21b-49f9-a0cc-3f6237e62c86 · outbound
This paper cites On distribution shift in learning-based bug detectors,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages On distribution shift in learning-based bug detectors,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.261601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ed0bf294-98fb-42de-a586-1c7eb2e58b72 · outbound
This paper cites A survey of transformers,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages A survey of transformers,
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.305264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1773a4a5-6b30-4803-bf83-50ffc09fc702 · outbound
This paper cites How well static type checkers work with gradual typing? a case study on python,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages How well static type checkers work with gradual typing? a case study on python,
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.232354Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a5205d09-c7c6-4b7a-bd1e-b4a36741270a · outbound
This paper cites A probabilistic interpretation of precision, recall and F-score, with implication for evaluation,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages A probabilistic interpretation of precision, recall and F-score, with implication for evaluation,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.218622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1e394c11-6e7d-43a6-979a-68fa720dbbf6 · outbound
This paper cites Deep learning based identification of suspicious return statements,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Deep learning based identification of suspicious return statements,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.204548Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 34a4548d-d07f-488f-977a-15bc3557c5f2 · outbound
This paper cites Self-supervised bug detection and repair,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Self-supervised bug detection and repair,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.246435Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7e9550e5-f4b3-4751-9686-fa99bc2fac3c · outbound
This paper cites Learning realistic mutations: Bug creation for neural bug detectors,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Learning realistic mutations: Bug creation for neural bug detectors,
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.188797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation cfdabf46-41f2-4998-87bb-4cc398f32a94 · outbound
This paper cites Semantic bug seeding: A learning-based approach for creating realistic bugs,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Semantic bug seeding: A learning-based approach for creating realistic bugs,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.156986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 99ccda45-4398-4909-8a45-76966710921d · outbound
This paper cites Graph-based, self-supervised program repair from diagnostic feedback,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Graph-based, self-supervised program repair from diagnostic feedback,
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.141576Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d4c918d9-ba55-4cc4-9fca-d4826deb2789 · outbound
This paper cites Learning Defect Prediction from Unrealistic Data.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Learning Defect Prediction from Unrealistic Data
Reference 50
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T14:25:07.052882Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 75eefdfc-079f-4830-8940-b51ada2f7555 · outbound
This paper cites Type Prediction With Program Decomposition and Fill-in-the-Type Training.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Type Prediction With Program Decomposition and Fill-in-the-Type Training
Reference 51
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T14:25:07.030783Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 931f8a37-5fc4-438d-9370-fb2b87903d60 · outbound
This paper cites Do machine learning models produce TypeScript types that type check?.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Do machine learning models produce TypeScript types that type check?
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.112631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 58714f0d-ea37-4357-9008-3796fc7c062d · outbound
This paper cites Typewriter: Neural type prediction with search-based validation,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Typewriter: Neural type prediction with search-based validation,
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.098807Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 0cbca44b-032f-4064-93e3-9d7509ac9c77 · outbound
This paper cites TypeT5: Seq2seq type inference using static analysis,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages TypeT5: Seq2seq type inference using static analysis,
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.084054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b82b8bcd-b3a7-407c-90b9-06c948e7123e · outbound
This paper cites SelfAPR: Self-supervised program repair with test execution diagnostics,.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages SelfAPR: Self-supervised program repair with test execution diagnostics,
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:25:07.126619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 28e9080a-47ef-4103-b88c-01484d21d7c8 · outbound
This paper cites OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints
Reference 60
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T14:25:07.009564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 361dcb4d-e575-44c6-8b4c-6e73f066f104 · outbound
This paper cites an unresolved cited work.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Unresolved cited work
Reference 2012
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T14:25:07.742467Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ec649d33-7624-49c0-8ee1-f43a6b3f98cf · outbound
This paper cites an unresolved cited work.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Unresolved cited work
Reference 2020
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-12T14:25:07.495472Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 745da929-d8f0-433d-a06e-56d39a37cd37 · outbound
This paper cites an unresolved cited work.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Unresolved cited work
Reference 2022
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-12T14:25:07.173735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1cfde6b9-6785-4828-b881-6e2319fd5f3d · outbound
This paper cites an unresolved cited work.
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages Unresolved cited work
Reference 9058
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-12T14:25:07.710661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Pith citing papers
No inbound Pith citation observations are available.