Paper Citation Record · LEDGER

Type-Directed Program Synthesis and Constraint Generation for Library Portability

As of 16 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:1908.04546.

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

pith.paper-citation-record.v1
1908.04546 v3

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:43:42.088829Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

45 of 45 outbound references displayed

verified exact1
verified fuzzy22
unresolved20
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0a80c828-9086-4c87-ae89-d99f88feb212 · outbound

This paper cites Portability in scientiﬁc computing: The molecular dynamics non-bonded forces calculation as a case study,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Portability in scientiﬁc computing: The molecular dynamics non-bonded forces calculation as a case study,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:44.149382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2f277d22-3ff5-4756-94c7-eaa3fcdbe364 · outbound

This paper cites The scalability-efﬁciency/maintainability- portability trade-off in simulation software engineering: Examples and a preliminary systematic literature review,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability The scalability-efﬁciency/maintainability- portability trade-off in simulation software engineering: Examples and a preliminary systematic literature review,

Reference 2

Resolution: malformed identifier; doi_truncated, observed 2026-08-14T13:43:42.232714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b08a71d6-30c6-41fc-833a-2e6259177c63 · outbound

This paper cites PyTorch,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability PyTorch,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:44.124363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7e6b193a-3b0e-4a08-93ab-946dea5be78a · outbound

This paper cites Darknet: Open Source Neural Networks in C,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Darknet: Open Source Neural Networks in C,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:44.094655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fa62f602-850f-4609-8d4f-f34c9fd53ada · outbound

This paper cites NVIDIA cuBLAS,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability NVIDIA cuBLAS,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:44.074945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a1897266-2a49-4d51-8a90-1f2a0f9a76db · outbound

This paper cites clMathLibraries clBLAS,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability clMathLibraries clBLAS,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:44.056546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 520b74f3-0b29-4c1b-8afa-8bb1e302a14d · outbound

This paper cites NVIDIA cuDNN,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability NVIDIA cuDNN,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:44.026499Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation df9da4d6-e28e-4c12-bd9b-3af22b397f06 · outbound

This paper cites Intel® Compute Library for Deep Neural Networks (clDNN),.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Intel® Compute Library for Deep Neural Networks (clDNN),

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:44.005996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9bd73705-f75a-4a4f-909a-9cff89b63a11 · outbound

This paper cites Accelerating Search- based Program Synthesis Using Learned Probabilistic Models,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Accelerating Search- based Program Synthesis Using Learned Probabilistic Models,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.855523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3f1c1fb-48c6-4f35-843a-1ae3b92a2a6c · outbound

This paper cites NWChem: A comprehensive and scalable open-source solution for large scale molecular simulations,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability NWChem: A comprehensive and scalable open-source solution for large scale molecular simulations,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.979072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 01cfb64f-d465-442c-92ee-dce31e291694 · outbound

This paper cites Intel® Math Kernel Library (MKL),.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Intel® Math Kernel Library (MKL),

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.934492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b8d9ba7b-72cc-4a8b-ba17-6d34371dbb12 · outbound

This paper cites A theory of formal synthesis via inductive learning,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability A theory of formal synthesis via inductive learning,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.879539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cf129cb-d994-4e53-950f-59acb526e59c · outbound

This paper cites Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.886606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27f1c76d-ff1a-4e88-8ad1-c1d3a444e8f6 · outbound

This paper cites QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.892658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b10e8af-d74c-49fe-81e9-1cdf6f016ea9 · outbound

This paper cites CAnDL: A Domain Speciﬁc Language for Compiler Analysis,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability CAnDL: A Domain Speciﬁc Language for Compiler Analysis,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.898117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e27e3a02-4bc7-4751-94aa-f0de1527d6e1 · outbound

This paper cites XNOR-Net: ImageNet Classiﬁcation Using Binary Convolutional Neural Networks,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability XNOR-Net: ImageNet Classiﬁcation Using Binary Convolutional Neural Networks,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.910402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7406dfd0-c326-4712-a843-0031eb86b36f · outbound

This paper cites You Only Look Once: Uniﬁed, Real-Time Object Detection,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability You Only Look Once: Uniﬁed, Real-Time Object Detection,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.890680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 26d7247b-6548-4d5e-ae9c-7fd4f7fb7bd3 · outbound

This paper cites YOLO9000: Better, Faster, Stronger,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability YOLO9000: Better, Faster, Stronger,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.867406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8ae485ea-ddef-432d-867e-ee39fa01fb6e · outbound

This paper cites CLBlast: A Tuned OpenCL BLAS Library,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability CLBlast: A Tuned OpenCL BLAS Library,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.922303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c52fc658-7dcd-4a0d-a145-dfa1f4841532 · outbound

This paper cites Characterising across-stack optimisations for deep convolutional neural networks,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Characterising across-stack optimisations for deep convolutional neural networks,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.842913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0ab6084a-4f67-4bc5-9c17-850640e19f9c · outbound

This paper cites Synthesis of Loop-free Programs,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Synthesis of Loop-free Programs,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.935606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6dbf0b4-bf53-4c38-9b6a-303a449fbe0d · outbound

This paper cites Stochastic Superoptimization,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Stochastic Superoptimization,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.822400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3334abd8-0aaf-4ece-8938-a3d67ac56d32 · outbound

This paper cites Stepping Stones to Inductive Synthesis of Low-Level Looping Programs.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:43:43.042230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4d35c9d9-1162-4733-aee5-70e4502b0d67 · outbound

This paper cites The role of refactorings in api evolu- tion,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability The role of refactorings in api evolu- tion,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.804188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3b6a8954-d827-4239-9742-375cd02c4550 · outbound

This paper cites How are java software developers using the elipse ide?.

Type-Directed Program Synthesis and Constraint Generation for Library Portability How are java software developers using the elipse ide?

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.784430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b2be23ba-53d2-40c7-bb39-a35108ab9943 · outbound

This paper cites Catchup! capturing and replaying refactorings to support api evolution,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Catchup! capturing and replaying refactorings to support api evolution,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.754467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3fdb4b39-4b0a-4003-8d7a-4066d907d10e · outbound

This paper cites Apidiff: Detecting api breaking changes,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Apidiff: Detecting api breaking changes,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.728686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 80f4eef9-529f-4d11-bd41-666e2cb739d1 · outbound

This paper cites The Sketching Approach to Program Synthesis,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability The Sketching Approach to Program Synthesis,

Reference 28

Resolution: malformed identifier; raw_fallback, observed 2026-08-14T13:43:43.707621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 109e9ca6-a281-49a1-87ab-aa3937590b1f · outbound

This paper cites Synthesis of Recursive ADT Transformations from Reusable Templates,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Synthesis of Recursive ADT Transformations from Reusable Templates,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.686602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 283c32aa-7dc8-4907-8ead-794cf93f6978 · outbound

This paper cites Modular Synthesis of Sketches Using Models,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Modular Synthesis of Sketches Using Models,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.664574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8a36320f-8fcd-4a06-973c-19e89f72f7b7 · outbound

This paper cites Synthesizing Highly Expressive SQL Queries from Input-output Examples,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Synthesizing Highly Expressive SQL Queries from Input-output Examples,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.999060Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a74dca2-352e-46ce-ab4b-e30504717a17 · outbound

This paper cites Test-driven Synthesis,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Test-driven Synthesis,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.010119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 973b746d-ff0f-4404-ab52-86a643ac40b9 · outbound

This paper cites Synthesizing Data Structure Transformations from Input-output Examples,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Synthesizing Data Structure Transformations from Input-output Examples,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.016220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0e5e2ec-0b3e-4622-ae59-6beb5ec0a8d0 · outbound

This paper cites Souper: A Synthesizing Superoptimizer.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Souper: A Synthesizing Superoptimizer

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.022654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01a630db-83f8-47f8-b348-2d74093b6b74 · outbound

This paper cites Automating String Processing in Spreadsheets Using Input- output Examples,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Automating String Processing in Spreadsheets Using Input- output Examples,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.028592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96e2fb04-b4ea-49a3-a15d-a614e261919a · outbound

This paper cites Synthesis of Machine Code from Semantics,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Synthesis of Machine Code from Semantics,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.034662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5451e44-4555-48e6-864f-b716e6851a23 · outbound

This paper cites Checking Correctness of Code Generator Architecture Speciﬁcations,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Checking Correctness of Code Generator Architecture Speciﬁcations,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.047807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10ee8287-324e-4838-ab46-af17de040471 · outbound

This paper cites Gradual Synthesis for Static Parallelization of Single-pass Array-processing Programs,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Gradual Synthesis for Static Parallelization of Single-pass Array-processing Programs,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.059662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f082ca72-d9f8-4956-a4cd-cb732588db45 · outbound

This paper cites Helium: Lifting high-performance stencil kernels from stripped x86 binaries to halide dsl code,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Helium: Lifting high-performance stencil kernels from stripped x86 binaries to halide dsl code,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.637782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5cecaa40-cd19-4026-8114-9139f004bb7c · outbound

This paper cites Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.072452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67a3e45c-1ee7-42db-ba79-7969b9a1ff28 · outbound

This paper cites Veriﬁed Lifting of Stencil Computations,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Veriﬁed Lifting of Stencil Computations,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.078057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25f322b2-8f24-4b92-94d8-9a3704131f49 · outbound

This paper cites Type-and-example-directed Program Synthesis,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Type-and-example-directed Program Synthesis,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.083580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9264b93d-66f6-4c6b-9406-8ce0ef8def05 · outbound

This paper cites Program Synthesis from Polymorphic Reﬁnement Types,.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Program Synthesis from Polymorphic Reﬁnement Types,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:42.088829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a0c6e54-aef3-4076-8f8c-897bd6610e81 · outbound

This paper cites Available: http://doi.acm.org/10.1145/2451116.2451150.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Available: http://doi.acm.org/10.1145/2451116.2451150

Reference 316

Resolution: unresolved; no resolver link, observed 2026-08-14T13:43:41.947939Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92777001-34f1-4bfa-b6b2-ae8233476564 · outbound

This paper cites Available: http://www.sciencedirect.com/science/article/ pii/S0010465510001438.

Type-Directed Program Synthesis and Constraint Generation for Library Portability Available: http://www.sciencedirect.com/science/article/ pii/S0010465510001438

Reference 2010

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:43:43.955641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.