{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:365HSAVGLCMG7Y44KLA7CS2I5X","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e4e6127dd8c1def4709dcc7ec175af82850fb47662d2fea7781a8e60cee805a8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T20:56:05Z","title_canon_sha256":"8961cd9caf017af42fadd86af9f15f5b3123e6e086dadaaf586e505eba4fe80a"},"schema_version":"1.0","source":{"id":"2410.14025","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.14025","created_at":"2026-07-05T09:29:16Z"},{"alias_kind":"arxiv_version","alias_value":"2410.14025v3","created_at":"2026-07-05T09:29:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.14025","created_at":"2026-07-05T09:29:16Z"},{"alias_kind":"pith_short_12","alias_value":"365HSAVGLCMG","created_at":"2026-07-05T09:29:16Z"},{"alias_kind":"pith_short_16","alias_value":"365HSAVGLCMG7Y44","created_at":"2026-07-05T09:29:16Z"},{"alias_kind":"pith_short_8","alias_value":"365HSAVG","created_at":"2026-07-05T09:29:16Z"}],"graph_snapshots":[{"event_id":"sha256:21bca49b31a4fc490f0c7b28e18a208bfd2b0038b3e32e8e5109406a24484d39","target":"graph","created_at":"2026-07-05T09:29:16Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2410.14025/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"New low-precision accelerators, vector instruction sets, and library functions make maximizing accuracy and performance of numerical code increasingly challenging. Two lines of work$\\unicode{x2013}$traditional compilers and numerical compilers$\\unicode{x2013}$attack this problem from opposite directions. Traditional compiler backends optimize for specific target environments but are limited in their ability to balance performance and accuracy. Numerical compilers trade off accuracy and performance, or even improve both, but ignore the target environment. We join aspects of both to produce Chas","authors_text":"Aditya Akhileshwaran, Brett Saiki, Jackson Brough, Jes\\'us Ponce, Jonas Regehr, Pavel Panchekha, Varun Pradeep, Zachary Tatlock","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T20:56:05Z","title":"Target-Aware Implementation of Real Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.14025","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0db32520949f5d4524d90430acfffb52fadab2a214252bdc534552ae02cc368f","target":"record","created_at":"2026-07-05T09:29:16Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e4e6127dd8c1def4709dcc7ec175af82850fb47662d2fea7781a8e60cee805a8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-10-17T20:56:05Z","title_canon_sha256":"8961cd9caf017af42fadd86af9f15f5b3123e6e086dadaaf586e505eba4fe80a"},"schema_version":"1.0","source":{"id":"2410.14025","kind":"arxiv","version":3}},"canonical_sha256":"dfba7902a658986fe39c52c1f14b48edc8170fe79ba488d3cdf0e6ca8e249d1c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dfba7902a658986fe39c52c1f14b48edc8170fe79ba488d3cdf0e6ca8e249d1c","first_computed_at":"2026-07-05T09:29:16.005018Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:29:16.005018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+tPckUtiQe0EWs+lQg9YsadyJ7duGafXWiymhZK0Gmehrcbyqr94r2MzeA+uirS/9MKNHtadU5D7UJ950K2HDw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:29:16.005506Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.14025","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0db32520949f5d4524d90430acfffb52fadab2a214252bdc534552ae02cc368f","sha256:21bca49b31a4fc490f0c7b28e18a208bfd2b0038b3e32e8e5109406a24484d39"],"state_sha256":"5ec1f17f024f02ed1520af9373f33ed30cc53983aaba7166353ffc9624ad139a"}