{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:FIMHVAGNQXIZLC2AVTMX3NXBKZ","short_pith_number":"pith:FIMHVAGN","schema_version":"1.0","canonical_sha256":"2a187a80cd85d1958b40acd97db6e156576fef2e4f4fc28a0bd2a9280b5d6e80","source":{"kind":"arxiv","id":"2501.07472","version":2},"attestation_state":"computed","paper":{"title":"LitmusKt: Concurrency Stress Testing for Kotlin","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Anton Podkopaev, Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev","submitted_at":"2025-01-13T16:40:34Z","abstract_excerpt":"We present LitmusKt - the first tool for litmus testing concurrent programs in Kotlin. The tool's novelty also lies in the fact that Kotlin is a multiplatform language, i.e., it compiles into multiple platforms, which means that the concurrency has to be tested on several of them. Our tool allows writing litmus tests in a single custom DSL, and these tests are then run in Kotlin/Native and Kotlin/JVM, two main platforms for concurrent programming in Kotlin. Using LitmusKt, we discovered novel bugs in the Kotlin compiler, which we then fixed and they are no longer present. Moreover, LitmusKt wa"},"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":"2501.07472","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-13T16:40:34Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"fecb83226f174da587c9129ded8da8b1de109c942d16f444779d08346b487356","abstract_canon_sha256":"ade80acfcaeca9b6a1962984814d93255710d01cfcbe1bc1c7ede23249fa37fc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:18.234242Z","signature_b64":"CNuPWDu9+J0lpm6d09j9/jrshZe0m1qqVD26wWx5VFNaLZkCVwqj30PJl/xfrskypGquApMGwZid37JkE6gCAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a187a80cd85d1958b40acd97db6e156576fef2e4f4fc28a0bd2a9280b5d6e80","last_reissued_at":"2026-07-05T10:52:18.233766Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:18.233766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LitmusKt: Concurrency Stress Testing for Kotlin","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Anton Podkopaev, Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev","submitted_at":"2025-01-13T16:40:34Z","abstract_excerpt":"We present LitmusKt - the first tool for litmus testing concurrent programs in Kotlin. The tool's novelty also lies in the fact that Kotlin is a multiplatform language, i.e., it compiles into multiple platforms, which means that the concurrency has to be tested on several of them. Our tool allows writing litmus tests in a single custom DSL, and these tests are then run in Kotlin/Native and Kotlin/JVM, two main platforms for concurrent programming in Kotlin. Using LitmusKt, we discovered novel bugs in the Kotlin compiler, which we then fixed and they are no longer present. Moreover, LitmusKt wa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.07472","kind":"arxiv","version":2},"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/2501.07472/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":"2501.07472","created_at":"2026-07-05T10:52:18.233824+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.07472v2","created_at":"2026-07-05T10:52:18.233824+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.07472","created_at":"2026-07-05T10:52:18.233824+00:00"},{"alias_kind":"pith_short_12","alias_value":"FIMHVAGNQXIZ","created_at":"2026-07-05T10:52:18.233824+00:00"},{"alias_kind":"pith_short_16","alias_value":"FIMHVAGNQXIZLC2A","created_at":"2026-07-05T10:52:18.233824+00:00"},{"alias_kind":"pith_short_8","alias_value":"FIMHVAGN","created_at":"2026-07-05T10:52:18.233824+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/FIMHVAGNQXIZLC2AVTMX3NXBKZ","json":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ.json","graph_json":"https://pith.science/api/pith-number/FIMHVAGNQXIZLC2AVTMX3NXBKZ/graph.json","events_json":"https://pith.science/api/pith-number/FIMHVAGNQXIZLC2AVTMX3NXBKZ/events.json","paper":"https://pith.science/paper/FIMHVAGN"},"agent_actions":{"view_html":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ","download_json":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ.json","view_paper":"https://pith.science/paper/FIMHVAGN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.07472&json=true","fetch_graph":"https://pith.science/api/pith-number/FIMHVAGNQXIZLC2AVTMX3NXBKZ/graph.json","fetch_events":"https://pith.science/api/pith-number/FIMHVAGNQXIZLC2AVTMX3NXBKZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/action/storage_attestation","attest_author":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/action/author_attestation","sign_citation":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/action/citation_signature","submit_replication":"https://pith.science/pith/FIMHVAGNQXIZLC2AVTMX3NXBKZ/action/replication_record"}},"created_at":"2026-07-05T10:52:18.233824+00:00","updated_at":"2026-07-05T10:52:18.233824+00:00"}