{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:CHL2OB5PPBF6IK4AJDMPZKJFHX","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":"32cb3adb690f2f5f9b61c3a3679b6ff53326d05b8e1ccf28acb296a71e7ae4a9","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-13T12:34:10Z","title_canon_sha256":"8712f3658009873c5f35fef6c07ec5f9fb9918ecd6b867a1781c6fca586a5100"},"schema_version":"1.0","source":{"id":"1409.3941","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.3941","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"arxiv_version","alias_value":"1409.3941v2","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.3941","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"pith_short_12","alias_value":"CHL2OB5PPBF6","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"CHL2OB5PPBF6IK4A","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"CHL2OB5P","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:faa4b3d469d35820d629a8793853947d2821db5529e870060e3b9b78782647cc","target":"graph","created_at":"2026-05-18T02:39:47Z","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"},"paper":{"abstract_excerpt":"Template abstract domains allow to express more interesting properties than classical abstract domains. However, template generation is a challenging problem when one uses template abstract domains for program analysis. In this paper, we relate template generation with the program properties that we want to prove. We focus on one-loop programs with nested conditional branches. We formally define the notion of well-representative template basis with respect to such programs and a given property. The definition relies on the fact that template abstract domains produce inductive invariants. We sh","authors_text":"Assal\\'e Adj\\'e, Victor Magron","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-13T12:34:10Z","title":"Polynomial Template Generation using Sum-of-Squares Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.3941","kind":"arxiv","version":2},"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:fac91187cfbe564939fd57c0964411ce2a7d20b683182fa893accf0cf8f1c945","target":"record","created_at":"2026-05-18T02:39:47Z","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":"32cb3adb690f2f5f9b61c3a3679b6ff53326d05b8e1ccf28acb296a71e7ae4a9","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-13T12:34:10Z","title_canon_sha256":"8712f3658009873c5f35fef6c07ec5f9fb9918ecd6b867a1781c6fca586a5100"},"schema_version":"1.0","source":{"id":"1409.3941","kind":"arxiv","version":2}},"canonical_sha256":"11d7a707af784be42b8048d8fca9253dd30c479150a7b48989f90ce39d47251c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11d7a707af784be42b8048d8fca9253dd30c479150a7b48989f90ce39d47251c","first_computed_at":"2026-05-18T02:39:47.839499Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:47.839499Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DXxDLGCSN/eetas3TvDuSsqqqq10X+ZpPFQoXAtOFyL5RDLD/jSmLYPHOEvGwlcRl89cdM0+cFXS0ngC88slDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:47.839971Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.3941","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fac91187cfbe564939fd57c0964411ce2a7d20b683182fa893accf0cf8f1c945","sha256:faa4b3d469d35820d629a8793853947d2821db5529e870060e3b9b78782647cc"],"state_sha256":"74cd5cc27859e8f5b653660e31e25d0d59b8f9bb8325783780d763d763ede1d5"}