{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:EMOV6R2F3S64SVIVP7WE7U7UH5","short_pith_number":"pith:EMOV6R2F","canonical_record":{"source":{"id":"2004.01618","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-03T15:20:06Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"d40b06ecb99950a1f4283c79d34c122cea7e1055b96ff40fc31e6b0e78128df3","abstract_canon_sha256":"660811d276d51635abf6d0b0d902ae0ace5e5740033303515f1d1aa24871f509"},"schema_version":"1.0"},"canonical_sha256":"231d5f4745dcbdc955157fec4fd3f43f75d557958bf20eb253471efa830e4112","source":{"kind":"arxiv","id":"2004.01618","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.01618","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"arxiv_version","alias_value":"2004.01618v1","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.01618","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"pith_short_12","alias_value":"EMOV6R2F3S64","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"pith_short_16","alias_value":"EMOV6R2F3S64SVIV","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"pith_short_8","alias_value":"EMOV6R2F","created_at":"2026-07-05T02:00:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:EMOV6R2F3S64SVIVP7WE7U7UH5","target":"record","payload":{"canonical_record":{"source":{"id":"2004.01618","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-03T15:20:06Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"d40b06ecb99950a1f4283c79d34c122cea7e1055b96ff40fc31e6b0e78128df3","abstract_canon_sha256":"660811d276d51635abf6d0b0d902ae0ace5e5740033303515f1d1aa24871f509"},"schema_version":"1.0"},"canonical_sha256":"231d5f4745dcbdc955157fec4fd3f43f75d557958bf20eb253471efa830e4112","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:00:10.329706Z","signature_b64":"T8QxYbx4P8oc3AtaC3+KuJvJg1J2hI+1ztA+hmc+zNAjhHWQWTSaxMJ5kJx0ezwI0I/jsSPpO+6m5InBV+srBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"231d5f4745dcbdc955157fec4fd3f43f75d557958bf20eb253471efa830e4112","last_reissued_at":"2026-07-05T02:00:10.329339Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:00:10.329339Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.01618","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-07-05T02:00:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K2J3SX4ObjxchFsMVkOBVbHv6uNhXKfbU7lviMRr5g59PpNtRRh3QRVFyHd+I4E3lzPAr3AYiX95Z5IGh6ZrDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:03:24.968984Z"},"content_sha256":"32b8db68fe89f6bd7018887eaf448ee094ae092908e7a2cab671287ae3695184","schema_version":"1.0","event_id":"sha256:32b8db68fe89f6bd7018887eaf448ee094ae092908e7a2cab671287ae3695184"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:EMOV6R2F3S64SVIVP7WE7U7UH5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Alexey Shpilman, Ilya Alexin, Nikita Povarov, Stanislav Prikhodko, Timofey Bryksin, Victor Petukhov, Vladimir Kovalenko","submitted_at":"2020-04-03T15:20:06Z","abstract_excerpt":"In this work, we apply anomaly detection to source code and bytecode to facilitate the development of a programming language and its compiler. We define anomaly as a code fragment that is different from typical code written in a particular programming language. Identifying such code fragments is beneficial to both language developers and end users, since anomalies may indicate potential issues with the compiler or with runtime performance. Moreover, anomalies could correspond to problems in language design. For this study, we choose Kotlin as the target programming language. We outline and dis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.01618","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/2004.01618/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"},"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-07-05T02:00:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UNqA5y6XpnwUNSA50PsgqPDzK9j1t+0cuKx2FTzwjeq68FAeKIgT/DkRP6zNW8dK8+cJ1hziYvx0dB79XxMRDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:03:24.969371Z"},"content_sha256":"1416b50cce80d06ee44a8a2cf7fa31f685d3d6c453ec17ee56b79f958f31997f","schema_version":"1.0","event_id":"sha256:1416b50cce80d06ee44a8a2cf7fa31f685d3d6c453ec17ee56b79f958f31997f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EMOV6R2F3S64SVIVP7WE7U7UH5/bundle.json","state_url":"https://pith.science/pith/EMOV6R2F3S64SVIVP7WE7U7UH5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EMOV6R2F3S64SVIVP7WE7U7UH5/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-07-07T10:03:24Z","links":{"resolver":"https://pith.science/pith/EMOV6R2F3S64SVIVP7WE7U7UH5","bundle":"https://pith.science/pith/EMOV6R2F3S64SVIVP7WE7U7UH5/bundle.json","state":"https://pith.science/pith/EMOV6R2F3S64SVIVP7WE7U7UH5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EMOV6R2F3S64SVIVP7WE7U7UH5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:EMOV6R2F3S64SVIVP7WE7U7UH5","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":"660811d276d51635abf6d0b0d902ae0ace5e5740033303515f1d1aa24871f509","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-03T15:20:06Z","title_canon_sha256":"d40b06ecb99950a1f4283c79d34c122cea7e1055b96ff40fc31e6b0e78128df3"},"schema_version":"1.0","source":{"id":"2004.01618","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.01618","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"arxiv_version","alias_value":"2004.01618v1","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.01618","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"pith_short_12","alias_value":"EMOV6R2F3S64","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"pith_short_16","alias_value":"EMOV6R2F3S64SVIV","created_at":"2026-07-05T02:00:10Z"},{"alias_kind":"pith_short_8","alias_value":"EMOV6R2F","created_at":"2026-07-05T02:00:10Z"}],"graph_snapshots":[{"event_id":"sha256:1416b50cce80d06ee44a8a2cf7fa31f685d3d6c453ec17ee56b79f958f31997f","target":"graph","created_at":"2026-07-05T02:00:10Z","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/2004.01618/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we apply anomaly detection to source code and bytecode to facilitate the development of a programming language and its compiler. We define anomaly as a code fragment that is different from typical code written in a particular programming language. Identifying such code fragments is beneficial to both language developers and end users, since anomalies may indicate potential issues with the compiler or with runtime performance. Moreover, anomalies could correspond to problems in language design. For this study, we choose Kotlin as the target programming language. We outline and dis","authors_text":"Alexey Shpilman, Ilya Alexin, Nikita Povarov, Stanislav Prikhodko, Timofey Bryksin, Victor Petukhov, Vladimir Kovalenko","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-03T15:20:06Z","title":"Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.01618","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:32b8db68fe89f6bd7018887eaf448ee094ae092908e7a2cab671287ae3695184","target":"record","created_at":"2026-07-05T02:00:10Z","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":"660811d276d51635abf6d0b0d902ae0ace5e5740033303515f1d1aa24871f509","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-03T15:20:06Z","title_canon_sha256":"d40b06ecb99950a1f4283c79d34c122cea7e1055b96ff40fc31e6b0e78128df3"},"schema_version":"1.0","source":{"id":"2004.01618","kind":"arxiv","version":1}},"canonical_sha256":"231d5f4745dcbdc955157fec4fd3f43f75d557958bf20eb253471efa830e4112","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"231d5f4745dcbdc955157fec4fd3f43f75d557958bf20eb253471efa830e4112","first_computed_at":"2026-07-05T02:00:10.329339Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:00:10.329339Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T8QxYbx4P8oc3AtaC3+KuJvJg1J2hI+1ztA+hmc+zNAjhHWQWTSaxMJ5kJx0ezwI0I/jsSPpO+6m5InBV+srBg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:00:10.329706Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.01618","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32b8db68fe89f6bd7018887eaf448ee094ae092908e7a2cab671287ae3695184","sha256:1416b50cce80d06ee44a8a2cf7fa31f685d3d6c453ec17ee56b79f958f31997f"],"state_sha256":"c3b2c670c4d2e8cf0693e875f3be3dbe7cc8b662e902ee9f590d029c55a18dd9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c5djVUSn2oPoCqik96lYqdUzVwucPHGNG4jod/jrSTRBZ8yZZclPQvzeFi53D60E4NREAvTetYSg/RN3L3jvBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:03:24.971622Z","bundle_sha256":"7d0062ea77335a09317304ce99f74e20e94f2bdf2c3ea4dfe2b1f09b299a1d55"}}