{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:MEZV2HGNVJB3YOYQTSI6UXINCU","short_pith_number":"pith:MEZV2HGN","canonical_record":{"source":{"id":"1808.03178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-09T14:19:35Z","cross_cats_sorted":[],"title_canon_sha256":"fca71b7699761295080b5a466cc740c8d70e6b7d681e7bff79482a931f3b63b2","abstract_canon_sha256":"25c9750f1d0327ca376ef01a469e90ae20e4caf54d2ed46c8ce5ab56b8304629"},"schema_version":"1.0"},"canonical_sha256":"61335d1ccdaa43bc3b109c91ea5d0d150901ac22d558c413dea76c444c95603d","source":{"kind":"arxiv","id":"1808.03178","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03178","created_at":"2026-05-18T00:08:29Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03178v1","created_at":"2026-05-18T00:08:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03178","created_at":"2026-05-18T00:08:29Z"},{"alias_kind":"pith_short_12","alias_value":"MEZV2HGNVJB3","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MEZV2HGNVJB3YOYQ","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MEZV2HGN","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:MEZV2HGNVJB3YOYQTSI6UXINCU","target":"record","payload":{"canonical_record":{"source":{"id":"1808.03178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-09T14:19:35Z","cross_cats_sorted":[],"title_canon_sha256":"fca71b7699761295080b5a466cc740c8d70e6b7d681e7bff79482a931f3b63b2","abstract_canon_sha256":"25c9750f1d0327ca376ef01a469e90ae20e4caf54d2ed46c8ce5ab56b8304629"},"schema_version":"1.0"},"canonical_sha256":"61335d1ccdaa43bc3b109c91ea5d0d150901ac22d558c413dea76c444c95603d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:29.965788Z","signature_b64":"myCF8h3cuBbcNMlAa4UPZA96QTFMOlXb4fjDwJM/z7VANop9OY7bkAKrvx0rnN1665L1FVqDON9ld99S5zkFBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61335d1ccdaa43bc3b109c91ea5d0d150901ac22d558c413dea76c444c95603d","last_reissued_at":"2026-05-18T00:08:29.965382Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:29.965382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.03178","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:08:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qmQiFc3m2RAYAPpiIIvrzYIJsepMSpzl45pnu87ieztXjXO7bGgobIS8K0kflJzNdEX5larYGaCqePc7fKGJBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T18:13:59.692929Z"},"content_sha256":"1104bb76f2e279d29f4c714766d371bc4d0ce1180769918e6398b7a40eecbe7a","schema_version":"1.0","event_id":"sha256:1104bb76f2e279d29f4c714766d371bc4d0ce1180769918e6398b7a40eecbe7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:MEZV2HGNVJB3YOYQTSI6UXINCU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficiently Manifesting Asynchronous Programming Errors in Android Apps","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Geguang Pu, Guozhu Meng, Lihua Xu, Lingling Fan, Sen Chen, Ting Su, Yang Liu","submitted_at":"2018-08-09T14:19:35Z","abstract_excerpt":"Android, the #1 mobile app framework, enforces the single-GUI-thread model, in which a single UI thread manages GUI rendering and event dispatching. Due to this model, it is vital to avoid blocking the UI thread for responsiveness. One common practice is to offload long-running tasks into async threads. To achieve this, Android provides various async programming constructs, and leaves developers themselves to obey the rules implied by the model. However, as our study reveals, more than 25% apps violate these rules and introduce hard-to-detect, fail-stop errors, which we term as aysnc programmi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03178","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:08:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q1hcgSe0WlVgKGIyicOefGf5k4K4iWPYvFBOGdqxyE5Ip1S1wB9rG61t9R7sxlQji/PXJNbLUSilkpEbR8QSDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T18:13:59.693569Z"},"content_sha256":"d2a44a0c66ec4747deadeab7e60303b2d14b29854ce8a84d97e9e7a0867c8611","schema_version":"1.0","event_id":"sha256:d2a44a0c66ec4747deadeab7e60303b2d14b29854ce8a84d97e9e7a0867c8611"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MEZV2HGNVJB3YOYQTSI6UXINCU/bundle.json","state_url":"https://pith.science/pith/MEZV2HGNVJB3YOYQTSI6UXINCU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MEZV2HGNVJB3YOYQTSI6UXINCU/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T18:13:59Z","links":{"resolver":"https://pith.science/pith/MEZV2HGNVJB3YOYQTSI6UXINCU","bundle":"https://pith.science/pith/MEZV2HGNVJB3YOYQTSI6UXINCU/bundle.json","state":"https://pith.science/pith/MEZV2HGNVJB3YOYQTSI6UXINCU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MEZV2HGNVJB3YOYQTSI6UXINCU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MEZV2HGNVJB3YOYQTSI6UXINCU","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":"25c9750f1d0327ca376ef01a469e90ae20e4caf54d2ed46c8ce5ab56b8304629","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-09T14:19:35Z","title_canon_sha256":"fca71b7699761295080b5a466cc740c8d70e6b7d681e7bff79482a931f3b63b2"},"schema_version":"1.0","source":{"id":"1808.03178","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03178","created_at":"2026-05-18T00:08:29Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03178v1","created_at":"2026-05-18T00:08:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03178","created_at":"2026-05-18T00:08:29Z"},{"alias_kind":"pith_short_12","alias_value":"MEZV2HGNVJB3","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MEZV2HGNVJB3YOYQ","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MEZV2HGN","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:d2a44a0c66ec4747deadeab7e60303b2d14b29854ce8a84d97e9e7a0867c8611","target":"graph","created_at":"2026-05-18T00:08:29Z","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":"Android, the #1 mobile app framework, enforces the single-GUI-thread model, in which a single UI thread manages GUI rendering and event dispatching. Due to this model, it is vital to avoid blocking the UI thread for responsiveness. One common practice is to offload long-running tasks into async threads. To achieve this, Android provides various async programming constructs, and leaves developers themselves to obey the rules implied by the model. However, as our study reveals, more than 25% apps violate these rules and introduce hard-to-detect, fail-stop errors, which we term as aysnc programmi","authors_text":"Geguang Pu, Guozhu Meng, Lihua Xu, Lingling Fan, Sen Chen, Ting Su, Yang Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-09T14:19:35Z","title":"Efficiently Manifesting Asynchronous Programming Errors in Android Apps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03178","kind":"arxiv","version":1},"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:1104bb76f2e279d29f4c714766d371bc4d0ce1180769918e6398b7a40eecbe7a","target":"record","created_at":"2026-05-18T00:08:29Z","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":"25c9750f1d0327ca376ef01a469e90ae20e4caf54d2ed46c8ce5ab56b8304629","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-09T14:19:35Z","title_canon_sha256":"fca71b7699761295080b5a466cc740c8d70e6b7d681e7bff79482a931f3b63b2"},"schema_version":"1.0","source":{"id":"1808.03178","kind":"arxiv","version":1}},"canonical_sha256":"61335d1ccdaa43bc3b109c91ea5d0d150901ac22d558c413dea76c444c95603d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61335d1ccdaa43bc3b109c91ea5d0d150901ac22d558c413dea76c444c95603d","first_computed_at":"2026-05-18T00:08:29.965382Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:29.965382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"myCF8h3cuBbcNMlAa4UPZA96QTFMOlXb4fjDwJM/z7VANop9OY7bkAKrvx0rnN1665L1FVqDON9ld99S5zkFBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:29.965788Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.03178","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1104bb76f2e279d29f4c714766d371bc4d0ce1180769918e6398b7a40eecbe7a","sha256:d2a44a0c66ec4747deadeab7e60303b2d14b29854ce8a84d97e9e7a0867c8611"],"state_sha256":"5ce973f146ad4d93b260a6fecc666f852dc028cd75f99c7b0b1a8c7e4cde7736"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D8GAZbFfC/UqYyWfdVqJyi/1s36LHoQngg+yrVypdd/3sKVL+VQgCjgfdwHW0L+TFWgR2wXd7VFnmTqoTc7wAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T18:13:59.696671Z","bundle_sha256":"d221cabfef3c1e60d1af05e1bfa2fccd20b6b429edd0072246e3bb64d0ade348"}}