{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:2PITUO5CE55HBR2A6YPZS6VU2C","short_pith_number":"pith:2PITUO5C","schema_version":"1.0","canonical_sha256":"d3d13a3ba2277a70c740f61f997ab4d09e5e4711dd069308caa2331bea77af99","source":{"kind":"arxiv","id":"2607.06225","version":1},"attestation_state":"computed","paper":{"title":"Compiling Bioinformatics Recurrences","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.PL","authors_text":"Bala Vinaithirthan, Fredrik Kjolstad, Shiv Sundram, Sneha Goenka","submitted_at":"2026-07-07T12:49:50Z","abstract_excerpt":"Many bioinformatics algorithms, such as sequence alignment and structure prediction, can be expressed as recurrence equations over a dynamic programming matrix. Efficient implementations of these algorithms for large-scale biological data often require changing the order in which matrix cells are calculated and pruning ineffectual regions of the matrix from consideration altogether, but these techniques typically complicate implementation. We introduce FILTR, a domain-specific language (DSL) and compiler framework for bioinformatics recurrences. FILTR keeps the core recurrence rules separate f"},"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":"2607.06225","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-07T12:49:50Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"6bbe67bf19d20e0ede652fb409db532e115b503542362eaf642e634365dd487f","abstract_canon_sha256":"36120ab7c8649a7e8a9a843f2f8aaeae97d17a88a1c78b279285e300f3eacaac"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-08T01:19:18.319288Z","signature_b64":"uHqjDdE0P1iFTc0miCT9syiVq1PQbWTM8yT5sLXo0dkneFQ53gPN9gOtCQ1ASmPxjASE8TYR1zDzGsuyt0EJBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d3d13a3ba2277a70c740f61f997ab4d09e5e4711dd069308caa2331bea77af99","last_reissued_at":"2026-07-08T01:19:18.318878Z","signature_status":"signed_v1","first_computed_at":"2026-07-08T01:19:18.318878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compiling Bioinformatics Recurrences","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.PL","authors_text":"Bala Vinaithirthan, Fredrik Kjolstad, Shiv Sundram, Sneha Goenka","submitted_at":"2026-07-07T12:49:50Z","abstract_excerpt":"Many bioinformatics algorithms, such as sequence alignment and structure prediction, can be expressed as recurrence equations over a dynamic programming matrix. Efficient implementations of these algorithms for large-scale biological data often require changing the order in which matrix cells are calculated and pruning ineffectual regions of the matrix from consideration altogether, but these techniques typically complicate implementation. We introduce FILTR, a domain-specific language (DSL) and compiler framework for bioinformatics recurrences. FILTR keeps the core recurrence rules separate f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06225","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.06225/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2607.06225","created_at":"2026-07-08T01:19:18.318933+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.06225v1","created_at":"2026-07-08T01:19:18.318933+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06225","created_at":"2026-07-08T01:19:18.318933+00:00"},{"alias_kind":"pith_short_12","alias_value":"2PITUO5CE55H","created_at":"2026-07-08T01:19:18.318933+00:00"},{"alias_kind":"pith_short_16","alias_value":"2PITUO5CE55HBR2A","created_at":"2026-07-08T01:19:18.318933+00:00"},{"alias_kind":"pith_short_8","alias_value":"2PITUO5C","created_at":"2026-07-08T01:19:18.318933+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/2PITUO5CE55HBR2A6YPZS6VU2C","json":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C.json","graph_json":"https://pith.science/api/pith-number/2PITUO5CE55HBR2A6YPZS6VU2C/graph.json","events_json":"https://pith.science/api/pith-number/2PITUO5CE55HBR2A6YPZS6VU2C/events.json","paper":"https://pith.science/paper/2PITUO5C"},"agent_actions":{"view_html":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C","download_json":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C.json","view_paper":"https://pith.science/paper/2PITUO5C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.06225&json=true","fetch_graph":"https://pith.science/api/pith-number/2PITUO5CE55HBR2A6YPZS6VU2C/graph.json","fetch_events":"https://pith.science/api/pith-number/2PITUO5CE55HBR2A6YPZS6VU2C/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/action/storage_attestation","attest_author":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/action/author_attestation","sign_citation":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/action/citation_signature","submit_replication":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/action/replication_record"}},"created_at":"2026-07-08T01:19:18.318933+00:00","updated_at":"2026-07-08T01:19:18.318933+00:00"}