{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:AXBQC2Q37GN65R2CP2572KYPL5","short_pith_number":"pith:AXBQC2Q3","schema_version":"1.0","canonical_sha256":"05c3016a1bf99beec7427ebbfd2b0f5f623c3eb7be4160489da3adc47b2b57a1","source":{"kind":"arxiv","id":"1902.05462","version":1},"attestation_state":"computed","paper":{"title":"Redundant Loads: A Software Inefficiency Indicator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.PF","authors_text":"Hailong Yang, Milind Chabbi, Pengfei Su, Shasha Wen, Xu Liu","submitted_at":"2019-02-14T15:54:17Z","abstract_excerpt":"Modern software packages have become increasingly complex with millions of lines of code and references to many external libraries. Redundant operations are a common performance limiter in these code bases. Missed compiler optimization opportunities, inappropriate data structure and algorithm choices, and developers' inattention to performance are some common reasons for the existence of redundant operations. Developers mainly depend on compilers to eliminate redundant operations. However, compilers' static analysis often misses optimization opportunities due to ambiguities and limited analysi"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1902.05462","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2019-02-14T15:54:17Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"bd8b3d23f1645dc853340500597f4bee928bc85aaf8a39b94b1a492398d383bc","abstract_canon_sha256":"3c3b6f8cbe9143d33eca0894c48b6bf807e5753c5f8d9d38cdc3877637eb520e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:58.642695Z","signature_b64":"5th6+l8GqO75CPVQV9p4fnmC9r9171thiF6WQ49wJDu+hxRNDO4bToHyOEdzSTsJ1ER5XFs2G4o1gz9ftx9zBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"05c3016a1bf99beec7427ebbfd2b0f5f623c3eb7be4160489da3adc47b2b57a1","last_reissued_at":"2026-05-17T23:53:58.641975Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:58.641975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Redundant Loads: A Software Inefficiency Indicator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.PF","authors_text":"Hailong Yang, Milind Chabbi, Pengfei Su, Shasha Wen, Xu Liu","submitted_at":"2019-02-14T15:54:17Z","abstract_excerpt":"Modern software packages have become increasingly complex with millions of lines of code and references to many external libraries. Redundant operations are a common performance limiter in these code bases. Missed compiler optimization opportunities, inappropriate data structure and algorithm choices, and developers' inattention to performance are some common reasons for the existence of redundant operations. Developers mainly depend on compilers to eliminate redundant operations. However, compilers' static analysis often misses optimization opportunities due to ambiguities and limited analysi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.05462","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1902.05462","created_at":"2026-05-17T23:53:58.642076+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.05462v1","created_at":"2026-05-17T23:53:58.642076+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.05462","created_at":"2026-05-17T23:53:58.642076+00:00"},{"alias_kind":"pith_short_12","alias_value":"AXBQC2Q37GN6","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"AXBQC2Q37GN65R2C","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"AXBQC2Q3","created_at":"2026-05-18T12:33:12.712433+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5","json":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5.json","graph_json":"https://pith.science/api/pith-number/AXBQC2Q37GN65R2CP2572KYPL5/graph.json","events_json":"https://pith.science/api/pith-number/AXBQC2Q37GN65R2CP2572KYPL5/events.json","paper":"https://pith.science/paper/AXBQC2Q3"},"agent_actions":{"view_html":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5","download_json":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5.json","view_paper":"https://pith.science/paper/AXBQC2Q3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.05462&json=true","fetch_graph":"https://pith.science/api/pith-number/AXBQC2Q37GN65R2CP2572KYPL5/graph.json","fetch_events":"https://pith.science/api/pith-number/AXBQC2Q37GN65R2CP2572KYPL5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5/action/storage_attestation","attest_author":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5/action/author_attestation","sign_citation":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5/action/citation_signature","submit_replication":"https://pith.science/pith/AXBQC2Q37GN65R2CP2572KYPL5/action/replication_record"}},"created_at":"2026-05-17T23:53:58.642076+00:00","updated_at":"2026-05-17T23:53:58.642076+00:00"}