Paper Citation Record · LEDGER

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction

As of 15 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2608.08352.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.08352 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T00:10:38.917549Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

32 of 32 outbound references displayed

verified exact2
verified fuzzy5
unresolved25
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 564f5831-b144-4449-b729-bae9f7be34c5 · outbound

This paper cites CReal Artifact.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction CReal Artifact

Reference 1

Resolution: verified exact; raw_fallback, observed 2026-08-12T00:10:39.242848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6d5babba-58d1-4936-bb90-a740ce16168d · outbound

This paper cites LegoFuzz Artifact.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction LegoFuzz Artifact

Reference 2

Resolution: verified exact; raw_fallback, observed 2026-08-12T00:10:39.161531Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6a3088c7-e553-4ce9-8f2d-71c157c7f1bc · outbound

This paper cites GCC: GNU Compiler Collection.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction GCC: GNU Compiler Collection

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:10:39.559002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 777fead6-cf95-45f3-9414-3a6da9c6b257 · outbound

This paper cites SimP Artifact.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction SimP Artifact

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:10:39.545343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 416b1531-412a-498d-96a4-839d93742b53 · outbound

This paper cites GPT-4 Technical Report.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction GPT-4 Technical Report

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.804805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b6c3004-165f-4ab9-8ad7-62fc953fc7b5 · outbound

This paper cites DeepSeek LLM: Scaling Open-Source Language Models with Longtermism.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction DeepSeek LLM: Scaling Open-Source Language Models with Longtermism

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.809188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5988e96e-e5d0-473a-958a-c81eb1f7db67 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.532714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b27b9442-15e1-4248-997c-1b50e3056000 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Evaluating Large Language Models Trained on Code

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.818089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 935ae283-72b4-4368-9447-a644f5c04281 · outbound

This paper cites 2018.{TVM}: An automated{End-to-End} optimizing compiler for deep learning.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction 2018.{TVM}: An automated{End-to-End} optimizing compiler for deep learning

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:10:39.519136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 011ec132-0dc4-4530-8fcb-1693cc5a5c84 · outbound

This paper cites Large Language Models for Compiler Optimization.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Large Language Models for Compiler Optimization

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.826433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd7a2703-1de3-4690-a55c-54889813128e · outbound

This paper cites Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:10:39.504632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 58454e0f-f449-4f45-a1bb-ae4104a4fca7 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.490511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ee9f869c-85e7-4342-b68a-5b91ac07cd1d · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.477467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a8118a3d-589f-4246-8d30-c810787a02ef · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.464714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a0aa4ed0-e933-4f27-a898-dffa92e32dc8 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.450049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 44e10516-d9b7-4dd8-8535-62b45ea39f3a · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.437389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 5d9eb970-a8c1-46e5-bae3-1f975c1c1485 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.423442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 0db5bcc6-b6d3-4251-bd52-ca662f406c59 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.407586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 05516b26-418f-4520-98d0-77f5445d022e · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.393125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 5d836660-84b6-4704-a676-0d8bfdaa326a · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.380036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2ac7b0dc-9b3a-4ecf-83f0-db3ba082c02e · outbound

This paper cites Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:10:39.366536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c637ae36-8e98-4a9c-8afe-59acaf30eba4 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.350403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 25a6315c-5228-4a81-bd45-7789e318669d · outbound

This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.883702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 521f89ab-f917-4ebc-85da-cd9153ee7981 · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.888376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f12361db-df02-48c0-b739-4113ba77b2f7 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.333755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9632f4e7-b4c8-4ed2-b5ee-d25ad8fca9a7 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.318725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 90dad751-d53e-4fe2-92e5-021049c5161f · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.302702Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3da2c544-7732-4e6a-a2ad-75cb9462d66c · outbound

This paper cites Gemini: A Family of Highly Capable Multimodal Models.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Gemini: A Family of Highly Capable Multimodal Models

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.905298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22b91fe7-cc26-4d4b-8628-4e44b395a486 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.287721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f17da9ec-5a60-48c2-b80c-2359fc0d2bf2 · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.273470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 14e18512-bf4f-486c-8f03-f5d596305f6e · outbound

This paper cites an unresolved cited work.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:10:39.259001Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 7cd43aba-a314-473d-a523-41b5a28166af · outbound

This paper cites GraphCodeBERT: Pre-training Code Representations with Data Flow.

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction GraphCodeBERT: Pre-training Code Representations with Data Flow

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-12T00:10:38.842220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.