Paper Citation Record · LEDGER

Scaling Program Synthesis Based Technology Mapping with Equality Saturation

As of 21 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2411.11036.

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

pith.paper-citation-record.v1
2411.11036 v2

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T19:05:58.629133Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

25 of 25 outbound references displayed

verified exact3
verified fuzzy13
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f0de6a89-5263-4342-bc12-0660d9184a1f · outbound

This paper cites Yosys-a free verilog synthesis suite,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Yosys-a free verilog synthesis suite,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.440959Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0aaa3f91-a1eb-411a-9132-810167277a6c · outbound

This paper cites Fpga technology mapping using sketch-guided program synthesis,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Fpga technology mapping using sketch-guided program synthesis,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.447999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 513285c4-68fb-43c2-a48e-82a704b8bca8 · outbound

This paper cites Program synthesis by sketching,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Program synthesis by sketching,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.544065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2e3b07a0-66c1-456e-af55-91dbcb1d0d03 · outbound

This paper cites Further steps down the wrong path : Improving the bit- blasting of multiplication,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Further steps down the wrong path : Improving the bit- blasting of multiplication,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.523128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a88e7c95-d2d6-432b-b617-4147bb43452c · outbound

This paper cites egg: Fast and extensible equality saturation,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation egg: Fast and extensible equality saturation,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.478907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54af21ee-8af8-4f7a-998c-3ae116a68d32 · outbound

This paper cites Better together: Unifying datalog and equality saturation,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Better together: Unifying datalog and equality saturation,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.506192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b0219c35-5558-4a3e-bed4-acb696f72918 · outbound

This paper cites There and Back Again: A Netlist's Tale with Much Egraphin'.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation There and Back Again: A Netlist's Tale with Much Egraphin'

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.500860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6b4fef5-f175-426b-943b-e12adf8cf008 · outbound

This paper cites Techniques for program verification,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Techniques for program verification,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.488627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4974ad37-e3dc-468f-9359-35f768499902 · outbound

This paper cites Equality saturation: a new approach to optimization,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Equality saturation: a new approach to optimization,

Reference 9

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T19:05:59.077717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 50d9d8b7-5c83-4378-9630-ddf14ef58e2f · outbound

This paper cites Growing solver-aided languages with rosette,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Growing solver-aided languages with rosette,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.452025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 916407c8-a90d-470f-81bf-e9f7af84132e · outbound

This paper cites Kroening and O.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Kroening and O

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.423339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 00a7ceab-f48b-4957-9b97-adb5294be587 · outbound

This paper cites Kami: a platform for high-level parametric hardware specification and its modular verification,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Kami: a platform for high-level parametric hardware specification and its modular verification,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.543125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66fdaa5f-a650-4795-ac79-e64e23ac81ab · outbound

This paper cites The essence of bluespec: a core language for rule-based hardware design,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation The essence of bluespec: a core language for rule-based hardware design,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.551859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ae1150c-2ef8-4b32-9d6c-96d2e5895b6d · outbound

This paper cites Bluespec system verilog: efficient, correct rtl from high level specifications,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Bluespec system verilog: efficient, correct rtl from high level specifications,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.405616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3c179a74-e367-48c4-938f-d80e0122a000 · outbound

This paper cites Loop rerolling for hardware decompilation,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Loop rerolling for hardware decompilation,

Reference 15

Resolution: verified exact; doi, observed 2026-08-12T19:05:58.714376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 81d64b65-10fe-4564-a789-fee171cf45db · outbound

This paper cites Verisketch: Synthesizing secure hardware designs with timing-sensitive information flow properties,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Verisketch: Synthesizing secure hardware designs with timing-sensitive information flow properties,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.569480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de1106d8-774e-4499-98c9-5f5834525663 · outbound

This paper cites Sketchilog: Sketching combinational circuits,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Sketchilog: Sketching combinational circuits,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.378601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0093e56f-fdb0-48d3-ae4a-41e3ab840d4b · outbound

This paper cites A verilog rtl synthesis tool for heterogeneous fpgas,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation A verilog rtl synthesis tool for heterogeneous fpgas,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.343630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7052f2ad-66ba-4c77-9fbe-b2d925ae2ed0 · outbound

This paper cites Odin ii - an open-source verilog hdl synthesis tool for cad research,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Odin ii - an open-source verilog hdl synthesis tool for cad research,

Reference 19

Resolution: verified exact; doi, observed 2026-08-12T19:05:58.691477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5fcf0e6e-5d24-4849-bb73-698e99a63256 · outbound

This paper cites PolySAT: Word-level Bit-vector Reasoning in Z3.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation PolySAT: Word-level Bit-vector Reasoning in Z3

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-12T19:05:58.801123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a8cbdd5b-e9f2-4bd7-ae9a-cf3fadd3c64d · outbound

This paper cites Formal verifi- cation of arithmetic circuits by function extraction,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Formal verifi- cation of arithmetic circuits by function extraction,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.318460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 416aa642-f511-4015-8485-6dc5e831760b · outbound

This paper cites Efficient parallel verification of galois field multipliers,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Efficient parallel verification of galois field multipliers,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.292634Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 73b32c2d-1e6a-446a-805b-af2cd9ebe114 · outbound

This paper cites dafny-lang community, Dafny Reference Manual , 2024.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation dafny-lang community, Dafny Reference Manual , 2024

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.263214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 77010f3e-5fe2-4827-9227-9a0771e6afdd · outbound

This paper cites Haploid: Speed up smt via preprocessing using egg,.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Haploid: Speed up smt via preprocessing using egg,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:05:59.235648Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9e26264d-ec61-4c40-95d0-b38be3d7976f · outbound

This paper cites Available: https://doi.org/10.1145/3591239.

Scaling Program Synthesis Based Technology Mapping with Equality Saturation Available: https://doi.org/10.1145/3591239

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-12T19:05:58.495211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.