{"as_of":"2026-08-09T10:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3cb6c03171856f9cccebf4cbc8a30b3f7f315a4c4d63051f2bd26aa5fd25f4c3","coverage":[{"denominator":63,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":63,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:57:47.124885Z","state":"measured"},{"denominator":63,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":63,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.03876/citation-record","integrity":"/paper/2506.03876/integrity","json":"/paper/2506.03876/citation-record.json","paper":"/paper/2506.03876"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:49.059310Z","title":"https://github","venue":null,"work_id":"44ecd83d-a54c-4eaf-af85-bc5f76626ff1","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.579153Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:fb7e531b231ed7a84df009c2a98bfb184e8a39bd0f9201f76fedd72ca6c658fe","observation_id":"48ee7d0b-5fcf-40da-bac3-793c55b7a79b","resolution":{"observed_at":"2026-08-07T10:57:49.065824Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:49.027159Z","title":"https://github.com/asterinas/ atc25-artifact-evaluation/","venue":null,"work_id":"5c1e26e2-2ffe-4cf8-8433-2aa29e05705f","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.586234Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:c65dfcbc5e9df0f5008899f280653262cf4e1a1ba766ed8544f219309f23ff41","observation_id":"4ad275e2-b814-45b0-a475-e4578e128fb8","resolution":{"observed_at":"2026-08-07T10:57:49.046834Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.991077Z","title":"https://en.wikipedia","venue":null,"work_id":"b8e996f9-f392-4f0f-a02b-45cd4657cd10","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.595438Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:164472300ba948cd5b23fb7de4d835bc778493bdf121c814b4259c2076ff77ef","observation_id":"fbf29eb2-4d59-48cc-80c1-1d1bd97cf635","resolution":{"observed_at":"2026-08-07T10:57:48.999651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.961304Z","title":"C++ named requirements: POD- Type (deprecated in C++20) - cppreference.com","venue":null,"work_id":"94bd9c66-24cc-4bb5-8041-a516756c9658","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.605165Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:e5d39fde3851250caa90e159767da706f0abc202fff466d82901556dc9fc6f43","observation_id":"9f7f1b13-c847-4db8-80e5-81da8abb4341","resolution":{"observed_at":"2026-08-07T10:57:48.973461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.934109Z","title":"CFS Scheduler — The Linux Kernel documenta- tion","venue":null,"work_id":"82cba978-40dc-4071-a3e4-036a9144ff91","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.637342Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:ea38836eba661cafaded5f7d213e7028ad972e80608faabcf021325b738ad175","observation_id":"604be20a-4c91-431b-baf7-12e77b94c863","resolution":{"observed_at":"2026-08-07T10:57:48.941965Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.906244Z","title":"Behavior con- sidered undefined - The Rust Reference","venue":null,"work_id":"e9f738ba-93e2-4962-a07d-2dc727c59e26","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.644443Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:25841f930f5a492447c9a9589cae6a25303d0ee712f2ba63681b022cf4ed299f","observation_id":"c7bd5a64-6fef-4136-b8ba-907827a0c597","resolution":{"observed_at":"2026-08-07T10:57:48.916091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.882075Z","title":"The borrow checker - Rust Compiler Development Guide","venue":null,"work_id":"05b249c4-dab5-4150-bec9-f2a3d0fa6654","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.655754Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:8d10ecac82d75739709f3045e213d9f242b86e962423daec5e972631c5998b02","observation_id":"beb2c663-618b-4b15-95e4-f405820ff74a","resolution":{"observed_at":"2026-08-07T10:57:48.890860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.850676Z","title":"How Safe and Unsafe In- teract - The Rustonomicon","venue":null,"work_id":"c0de90df-92fe-4daa-b6d8-27e1ed6f0512","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.669851Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:44a12612f9e2c75e8b062a3515126114763a0476902c9560457156f964408a1e","observation_id":"34d61cec-3525-4fbc-9dcc-96f6917177cd","resolution":{"observed_at":"2026-08-07T10:57:48.860612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.820559Z","title":"Type check- ing - Rust Compiler Development Guide","venue":null,"work_id":"fc307bbe-0205-4022-ae48-7be35bfd6265","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.679367Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:1b602009895f9a7f0d06756f500f2dfa2c05a8dc94b4f08f0f8a60f2e014b8ed","observation_id":"77fcb1ee-0cf5-44bb-8466-9a1614217996","resolution":{"observed_at":"2026-08-07T10:57:48.828341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.781562Z","title":"What is Ownership? - The Rust Programming Lan- guage","venue":null,"work_id":"523cc288-1365-4ea1-8ad0-4e4b8fdf899a","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.685900Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:526bb99e44be5b18887b164c0753f8899355eaea5a8209aa4749280b6c04aa06","observation_id":"190520c6-4ef2-4318-8d2e-198235447c38","resolution":{"observed_at":"2026-08-07T10:57:48.795003Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.746960Z","title":"Widespread IT Outage Due to CrowdStrike Update","venue":null,"work_id":"88b9b55a-a87a-48c9-9151-696efbdc0dd9","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.692680Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:e85df28a1fd6d1d7fe62a06e0508bd41312e092e8c680cabd564a472b2f55dc4","observation_id":"edbda71d-489c-4341-b2f7-d54e4d6effac","resolution":{"observed_at":"2026-08-07T10:57:48.756031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.721411Z","title":null,"venue":null,"work_id":"f4988a1c-8a7f-4453-bfd3-bd21251cacae","year":2020},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.698551Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:721129fd9bc2ae74d2549a3cb4d937614d0a4bde43e3e5127ed9f7b7a6fb0dba","observation_id":"93f969c6-44bf-451f-b9f4-e6ae9291fe62","resolution":{"observed_at":"2026-08-07T10:57:48.728923Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.691196Z","title":"Flexible I/O Tester","venue":null,"work_id":"373b3df0-3cac-44da-a153-78fb2231494b","year":2022},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.706692Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:e0df8bd2a4252c6a9cdd3399be2c246953a47efa6c47008cfa28ed10a8bc4a5e","observation_id":"58e8a436-cf77-48f7-b061-8d8e5107ac78","resolution":{"observed_at":"2026-08-07T10:57:48.697986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.661537Z","title":"The Slab Allocator: An Object-Caching Kernel Memory Allocator","venue":null,"work_id":"bd3d6b7a-1bc6-452a-b29e-70069eb2c7c4","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.712672Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:af9117e369ec16e5bbece5adc6aada5a48c041874139e3529b184ef7de40d597","observation_id":"4b600732-848d-4d89-abb1-d3a3c32056f3","resolution":{"observed_at":"2026-08-07T10:57:48.671010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.635269Z","title":"Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources","venue":null,"work_id":"d94ab872-0c9f-4198-b5cf-5adbdf29705b","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.719151Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:04e2e7358baa6ccebbc61da32f0d6cc4248b7d95f672ca63abb1a6c3a91f1320","observation_id":"663aa31a-32f1-4179-bcba-50b015f514c0","resolution":{"observed_at":"2026-08-07T10:57:48.645112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.609249Z","title":"Theseus: an experiment in operating system structure and state management","venue":null,"work_id":"80e27aa6-d21b-4a9d-b260-43e369b59691","year":2020},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.727647Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:809a18612ae14fa0c7a906bf568aaedbb5c98dabbc4a57eb3976a73eb45a4f11","observation_id":"0fa17fac-abc7-427f-9877-94be1ae13d2b","resolution":{"observed_at":"2026-08-07T10:57:48.615813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.581196Z","title":"An empirical study of operating systems errors.SIGOPS Oper","venue":null,"work_id":"a9a14606-a14e-4ecb-b96c-054a547e9085","year":2001},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.740114Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:14408d46162fe7147426832e760457a7a2e92cdc9baa01616d19794c35a60ec9","observation_id":"c2e303f3-8f0f-4009-ab0a-0d9a201ff1a0","resolution":{"observed_at":"2026-08-07T10:57:48.592053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.543201Z","title":"A first look at Rust in the 6.1 kernel","venue":null,"work_id":"49587a15-51e5-41c1-a838-c2f64704d5f3","year":2022},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.751776Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:031725c0dee9b704397bfc05ee4269758eae85c7fe20a91ae7bf45cbc2d0ae10","observation_id":"357c0d02-e4d7-4421-a94f-a9877fb23467","resolution":{"observed_at":"2026-08-07T10:57:48.560927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.507532Z","title":"Frans Kaashoek, and Robert T","venue":null,"work_id":"973b00ef-fe0f-482f-a50b-874065c700b1","year":2018},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.762729Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:6b15b4813e549cb30bb8863e6696de95d413e991a50f1ff38139d8819496efc1","observation_id":"f8f9b671-b90b-4bba-a8a2-1848785523d0","resolution":{"observed_at":"2026-08-07T10:57:48.513968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.484131Z","title":"Nested kernel: An op- erating system architecture for intra-kernel privilege sep- aration","venue":null,"work_id":"19acf90a-529f-48ca-b28c-3fa0d3b14bb0","year":2015},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.775258Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:508e970835365ee4a7229a57c485135cceea050314974323363777a11c9bd0a8","observation_id":"8826a5ba-cb0a-447d-a258-5217f6c927dc","resolution":{"observed_at":"2026-08-07T10:57:48.493359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.444048Z","title":"Redox - your next(gen) os","venue":null,"work_id":"e0604be3-002e-4918-964e-43c2d7360d69","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.783994Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:1955501a590335ee63f6db831e68898e96962890e73b465d45140f6a30680a5d","observation_id":"f1c38b84-a673-45bb-9639-cf360e4127b1","resolution":{"observed_at":"2026-08-07T10:57:48.453809Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.412672Z","title":"Smoltcp: TCP/IP Stack for Embed- ded Rust.https://github.com/smoltcp-rs, 2025","venue":null,"work_id":"5d4fb7ea-301d-4b58-a39d-0862f655aca1","year":2025},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.790613Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:8878cb3be3e9991c0f4cdde0b4bc754ecaf37713786ccc59224361f8e2bdb716","observation_id":"799bb3c4-7c2c-4969-916e-ae93082f59b7","resolution":{"observed_at":"2026-08-07T10:57:48.419695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.381563Z","title":"Example: Writing a Kernel in 100 Lines of Safe Rust - The Asterinas Book","venue":null,"work_id":"902bd305-8922-4009-8321-107e254b8f84","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.800252Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:2499ddf6b43fe08a458ee9f9e275a75325306c7827797d56b9a9022ceb4bad3b","observation_id":"bdb5ae4e-4bcf-41a8-a836-114247ac0eb5","resolution":{"observed_at":"2026-08-07T10:57:48.392399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.354426Z","title":"The reader- writer interface of untyped memory","venue":null,"work_id":"7cd8db0b-4606-4748-bab2-0f4c7ed09457","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.805915Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:16e5c86dbefb9e60e84f377a73524f6484710c6105d484eeec378332813534da","observation_id":"bad6c88e-0f54-41ac-a9d9-86f18a7cb51a","resolution":{"observed_at":"2026-08-07T10:57:48.361572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.318107Z","title":"The Rustonomicon","venue":null,"work_id":"18900c8f-1dd9-49eb-8fb1-22ed380e3e6d","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.813657Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:da20beeee8f695c9e58d36aa4e3d76377dbe4e450f5e6cb7c2b822cef83206ec","observation_id":"9fee1def-addb-4cb2-b6d0-05bf46c4a4e5","resolution":{"observed_at":"2026-08-07T10:57:48.331157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.287840Z","title":"ab - apache http server benchmarking tool","venue":null,"work_id":"d61b19d0-8093-4319-acb6-54283e0a126d","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.822352Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:f66a7dc11080c58c9a93e021fb68e6adcd8ae81c02832444ee4ab620911a3814","observation_id":"9e9d24bc-9a3c-42de-8a40-1e915a91a0bd","resolution":{"observed_at":"2026-08-07T10:57:48.300870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.254271Z","title":"Growth, evolution, and structural change in open source software","venue":null,"work_id":"b4849d74-226a-4317-9b31-18ecbf64b0f5","year":2001},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.831892Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:ff3850d53ff54e8244ba5c19a0a5438fdef6ba94ba1f4ab5703ac1a6ce709aa9","observation_id":"92f3e7b2-99db-4fd9-9bc1-a80c42335be5","resolution":{"observed_at":"2026-08-07T10:57:48.260865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.231094Z","title":"The JX operating system","venue":null,"work_id":"66c32219-4a00-4650-b71e-2ba29d445ee2","year":2002},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.839898Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:78f31163d62aef61d61bb874eb4638b32e24927a8ba52995b6f73683a97adc1d","observation_id":"3ff78fda-0db2-4af7-8fd0-06cbacacb30f","resolution":{"observed_at":"2026-08-07T10:57:48.238138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.193367Z","title":"Android rust introduction","venue":null,"work_id":"a99b0444-d37a-4d2f-a3e4-704f3afa9fe0","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.844601Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:9fa0a40e5f7ed8e6fcc95dcd125eba99222c5a48b39027c1f1e5699430ece9a6","observation_id":"ea413670-c06a-4200-a00a-36fcaea64d56","resolution":{"observed_at":"2026-08-07T10:57:48.205893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.137931Z","title":"What is mem- ory safety and why does it matter? https://www","venue":null,"work_id":"cb55d55e-3959-4c91-9009-9e0e9438f6d6","year":2025},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.853504Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:26eccd0acc6b01b636850d775f8f217c7e98313e32ba47f844d50dd0a58a8052","observation_id":"229fd4a5-ff91-4e3e-9415-070ae035dd60","resolution":{"observed_at":"2026-08-07T10:57:48.157700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.099934Z","title":"Klint: Compile-time detection of atomic context violations for kernel rust code","venue":null,"work_id":"e8000c9b-ea69-47ac-a0cc-76fa7caf49c0","year":2023},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.859401Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:c94cbc190035e55c248afcf7bc3fb46529de9eef566b4af9cee5c43b4ba3fc92","observation_id":"6c9bee22-1bf8-4e17-aad5-daf5c18e9a9d","resolution":{"observed_at":"2026-08-07T10:57:48.114382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.061061Z","title":"ghost: Fast & flexible user-space delegation of linux schedul- ing","venue":null,"work_id":"c6741e8b-c045-4b22-9a46-131b7a5503c3","year":2021},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.864157Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:6925808592080101ed99e38ba55f5ac9f50bef3a2cfc7fd2562a558b8c0cd4b2","observation_id":"9008e0a1-6ad0-428a-b99a-d378f7a8d081","resolution":{"observed_at":"2026-08-07T10:57:48.067264Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.028463Z","title":"Singularity: Rethinking the software stack.ACM SIGOPS Operating Systems Review, 41(2):37–49, April 2007","venue":null,"work_id":"b733d273-da95-44f9-a841-a87e92808313","year":2007},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.869246Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:df50099c31544a8c91d786cace047caa422d73b3ae0675b486218f1ab79b58a3","observation_id":"89fa5155-77cc-44b5-ba3f-c7aa6c812d76","resolution":{"observed_at":"2026-08-07T10:57:48.037707Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:48.008376Z","title":"The evolution of freebsd and linux","venue":null,"work_id":"59d81ed8-77b9-4e3b-bf2c-5544722cef77","year":2006},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.876490Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:e1b0be6e9dd9b8c460f834c4e7f3a3f19f6112b6b062cfca2a4e87a113e6ca8c","observation_id":"75e5190d-81c4-446a-8859-d217b9ff76ac","resolution":{"observed_at":"2026-08-07T10:57:48.014961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.984746Z","title":"A simple cor- rectness proof of the MCS contention-free lock.Infor- mation Processing Letters, 48(5):215–220","venue":null,"work_id":"f90ee21f-a400-495c-bbbf-7d1eaae1d264","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.883022Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:92bc10911f5213d3ba8997dc5af522720472ea35df91b14a8344bf0f50d224b6","observation_id":"abc0a889-4c0e-443c-8b02-612fe58b89d7","resolution":{"observed_at":"2026-08-07T10:57:47.991708Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.956594Z","title":"Kdpm: Kernel data protection mechanism using a memory protection key","venue":null,"work_id":"675b6cc1-1c22-4e69-900a-e349638326ae","year":2022},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.893041Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:cf08be25b644bfc3a96c3885d3cca163bf7160f35b6907930237efd26f5c7eba","observation_id":"e8b0f9c9-2cba-41d3-a067-5a1ce3e54e9f","resolution":{"observed_at":"2026-08-07T10:57:47.963203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.928221Z","title":"Ex- ploring rust for unikernel development","venue":null,"work_id":"a4e070e0-f75f-40df-832b-fc6260de4d0f","year":2019},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.906781Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:c2b9e350ea994aceb621bdce48a9b17da563c56d2dc1941ecf181db3a85e7b70","observation_id":"7ae09693-db1e-4eac-b1e8-33ac351a7f17","resolution":{"observed_at":"2026-08-07T10:57:47.940194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.898966Z","title":"Giffin, Pat Pannuto, Prabal Dutta, and Philip Levis","venue":null,"work_id":"ab315a7b-5611-4adb-b1fc-3124b5037250","year":2017},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.914800Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:5fa4b73a44ae25c000e90e881d112bec79368630fd9476afec552660901ced33","observation_id":"328ce291-35fc-4497-96c6-0bd4db3c19cb","resolution":{"observed_at":"2026-08-07T10:57:47.912562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.861562Z","title":"An Empirical Study of {Rust- for-Linux}: The Success, Dissatisfaction, and Compro- mise","venue":null,"work_id":"00335f01-2856-45de-abbf-832758cfb29c","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.928009Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:4320ae8c6ed65d2376c85aa026c98b1655f2dcdcce46827799dc129ddef5ffba","observation_id":"3a912312-2704-42c8-b87d-5e9ca5f948dc","resolution":{"observed_at":"2026-08-07T10:57:47.867976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.841065Z","title":"An empirical study of rust- for-linux: The success, dissatisfaction, and compromise","venue":null,"work_id":"b4046ec6-9d20-449b-9863-b2d106fe89c9","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.933432Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:94501e03045836442133b3a0ddc4f33b1190f956254354ca0e8e27cf70994118","observation_id":"f7585adb-4d7f-4701-a098-b238b28235ae","resolution":{"observed_at":"2026-08-07T10:57:47.849083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.810400Z","title":"Rust — The Linux Kernel documen- tation","venue":null,"work_id":"607b3e91-9ed4-4f95-a075-31f446abae7c","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.939663Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:492f97d012d82b94c84bdb46f7db09f5eb5dba178c4403a3cf0d21bbb872cf29","observation_id":"b208963f-5d50-4246-96d6-7c73236a7f87","resolution":{"observed_at":"2026-08-07T10:57:47.819159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.782396Z","title":"Llvm tools","venue":null,"work_id":"1a4753ef-d972-4101-a7cc-02ddecadf66f","year":2025},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.950154Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:fc4bd2ac0a907dd1e4c769f5960a0929359d4ab41ec9335668a5296077aac2e3","observation_id":"7209848d-8c03-4ec7-a80c-5ee29fd88a14","resolution":{"observed_at":"2026-08-07T10:57:47.788926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.755603Z","title":null,"venue":null,"work_id":"d78dab99-229b-49a1-8eb7-9b580b633d17","year":2013},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.959591Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:a31bc03f664a424f7850f322198b5ddc24ee154c73bc073b3f770d564c7846dc","observation_id":"ffe2153b-547d-4b44-99b5-d312fd3ba36d","resolution":{"observed_at":"2026-08-07T10:57:47.764729Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.730644Z","title":"Theodore Markettos, Colin Rothwell, Brett F","venue":null,"work_id":"2c2bc8fd-e420-4e18-8d22-10005cc6a42c","year":2019},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.965595Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:7b6a88efcd08a71058aab1060ae6d230b050b31d1871148f76c5671460965450","observation_id":"b70bd148-6bc5-47bc-a86d-cf315afe82e1","resolution":{"observed_at":"2026-08-07T10:57:47.737255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.698704Z","title":"McKenney, Joel Fernandes, Silas Boyd- Wickizer, and Jonathan Walpole","venue":null,"work_id":"364b98b3-984b-495a-99e4-c63acacfb98c","year":2020},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.973469Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:6bb3396c1de7e3328956cca6798295d5c85be442b2a5ef18d068a2842f730d39","observation_id":"2cd14c10-5b78-41d6-811d-6911d57afa8f","resolution":{"observed_at":"2026-08-07T10:57:47.711664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.668301Z","title":"Lmbench: Portable tools for performance analysis","venue":null,"work_id":"02edf707-f32d-4ad3-a914-e24e00d2495f","year":1996},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.980315Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:607a1b033e705504137c2f2e6be9f5c8bb4c2895234ae718eb620ccaf7f1495c","observation_id":"f91a9d96-b0c7-47b3-8005-13848b848f0f","resolution":{"observed_at":"2026-08-07T10:57:47.675864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.641453Z","title":"Enoki: High velocity linux kernel scheduler development","venue":null,"work_id":"a4b88d72-2748-4a41-aab8-78e9eb25e26a","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.986612Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:2b3c4871d98ad95f4a7acb64bd51edda3c8ba8b01e51a4ee416b6eda85193339","observation_id":"20372753-d8cd-4cd9-858e-92da0b1fad4c","resolution":{"observed_at":"2026-08-07T10:57:47.647420Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.600392Z","title":"Miri - an interpreter for rust’s mid-level in- termediate representation","venue":null,"work_id":"9d35b90e-f084-4cfb-82b9-975386649acf","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:46.993783Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:f6f1a8016aa5ed21f88a8c8e4e34c387fff5aa8fd8da684e1faea6b3a6983dfd","observation_id":"0502830c-68b2-485c-9504-089863b66d74","resolution":{"observed_at":"2026-08-07T10:57:47.611842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.576233Z","title":"RedLeaf: Isolation and communication in a safe operating system","venue":null,"work_id":"86f39498-eabf-49e6-b473-8ef7a1ab44c8","year":2020},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.001270Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:d9b0ea5352ac824b6fc6420e8e4343204350a74357523fb90dc6ce6bcf8e2427","observation_id":"ca16bf0c-fe78-4f96-8e4d-7b9bee7bffe8","resolution":{"observed_at":"2026-08-07T10:57:47.582999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.553385Z","title":"Lightweight kernel isolation with virtualization and vm functions","venue":null,"work_id":"c171e0b7-f7aa-4738-9c07-8abb673e27f4","year":2020},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.008577Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:0c529b71840b169683bd0a9b86792a517cbba63cdfd2c72cd13ddf3e8c82d80d","observation_id":"94511ac7-df7c-4b16-9467-2a6790fd3eb6","resolution":{"observed_at":"2026-08-07T10:57:47.559275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.534537Z","title":"Measuring and reducing cpu usage in sqlite.https://sqlite.org/cpu.html, 2024","venue":null,"work_id":"8fbbe995-b176-433d-93a4-50254d2d9707","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.017398Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:2f0ea53fac8ee6940e122da11d9975c3c1300a1687ba788cf5717856eb69bac7","observation_id":"712c33f3-ea46-48ef-a3ff-289ac95a3e20","resolution":{"observed_at":"2026-08-07T10:57:47.541198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.511142Z","title":null,"venue":null,"work_id":"ffe49acd-af89-43ab-a0ea-dce43e5e68d2","year":2023},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.024097Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:02146907ec0ae5da4aa4e117f505727fb28d4afb726cdee7d240de2b1897f299","observation_id":"2a3ca7b7-8b4c-4f8c-9774-9d5a5688df04","resolution":{"observed_at":"2026-08-07T10:57:47.519034Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.486054Z","title":"Redis benchmark","venue":null,"work_id":"ada0ed56-35c6-4cd3-ae34-944089d725b3","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.029717Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:b468cb583fcdb5740073b9f842e71d001bbde929967d28cfd02f219fdc7fc0b0","observation_id":"bfcb751c-df11-4bf6-bcfb-d9027a36b123","resolution":{"observed_at":"2026-08-07T10:57:47.493770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.459435Z","title":"Microsoft is busy rewrit- ing core windows code in memory-safe rust","venue":null,"work_id":"4ff58e06-e821-4b3e-b6fb-801802509d84","year":2023},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.035740Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:437d06442d9f6fc24c1753dc6be3580cc2395298d1c5c987e8d69b71666abe0d","observation_id":"52ce39ca-8bd1-4ce1-a313-9076ad210cc6","resolution":{"observed_at":"2026-08-07T10:57:47.467281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.432651Z","title":"Mutex::lock_noguard() may be unsafe · Issue #862 · Rust-for-Linux/linux","venue":null,"work_id":"11d6a1b4-3d03-422d-81d1-6771bfb7b082","year":null},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.044819Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:c69c2ee9598cad18012b473765ea896d0f211356fb42454de1db16d4e2545ee0","observation_id":"95cde6a5-1a09-454b-9807-c0034d97024b","resolution":{"observed_at":"2026-08-07T10:57:47.440327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.408115Z","title":"Sartakov, Lluís Vilanova, and Peter Pietzuch","venue":null,"work_id":"af781321-3402-4a81-bd9a-b474344013ec","year":2021},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.052375Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:14fc4426f4579a5ae4262064e0711e7f44b7e11bccf799652be4039fc7f86c6e","observation_id":"dcda8dd6-6280-42f7-a681-01909d863623","resolution":{"observed_at":"2026-08-07T10:57:47.415686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.346783Z","title":"Understanding open source software evolution.Software Evolution and Feedback: Theory and Practice, 9:181–205, 2006","venue":null,"work_id":"af699587-fb6d-40fb-877e-fa3e1f3b5964","year":2006},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.065229Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:05ca1c81512b93ce12e0d3476f034c8a68a1feaf32a35f59954c0f16cad6740c","observation_id":"2eaf12fe-0eb0-4a95-bd91-f4c94d628039","resolution":{"observed_at":"2026-08-07T10:57:47.367002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.325215Z","title":"Strace linux syscall tracer","venue":null,"work_id":"e8f0a6e9-01de-427d-a671-008ae672e364","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.072921Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:58a309363158f3d304765942a594d056ad8f58dcd1194e5131a6b8ad0d611b59","observation_id":"ccd26670-8b29-4c54-833c-09d39ea322f7","resolution":{"observed_at":"2026-08-07T10:57:47.331905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.300907Z","title":"Intra-unikernel isolation with intel mem- ory protection keys","venue":null,"work_id":"6cdbd0ad-72eb-4aac-9ffc-a865971c1b61","year":2020},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.093970Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:de68e70148e9acdcb176c4bdd596ab0536c25c41628c2373437a96e668422e02","observation_id":"207509bd-7592-4c71-9ebe-d4d376eff4d6","resolution":{"observed_at":"2026-08-07T10:57:47.307378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.268948Z","title":"RustSec Advisory Database","venue":null,"work_id":"ebf511c8-70e3-4f2c-9a0b-38d276978333","year":2024},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.105297Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:21189f9bc779bdb5a1258440f70650d95daebe7c5229d96fea859f594f288901","observation_id":"f3451713-c0eb-4213-8ed4-8183f893d451","resolution":{"observed_at":"2026-08-07T10:57:47.275624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.230667Z","title":null,"venue":null,"work_id":"79904c7a-c8ad-482c-9953-dcb83fbfbd31","year":2008},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.111932Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:7d85900716c9744510a84d8e601f76ea8d40e2a950d0566ff9966b89b9c79ef5","observation_id":"c8fb4003-b9df-423b-93cc-65f50e0bfc6d","resolution":{"observed_at":"2026-08-07T10:57:47.236553Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.205590Z","title":"Safe to the last instruc- tion: Automated verification of a type-safe operating system","venue":null,"work_id":"09a1a64e-0c0e-480d-a211-8148104a7603","year":2010},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.117142Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:5a133339f91f18fd6c798d013d6300b2b058010eb6bdfb547308786d6bd169d6","observation_id":"2e77054b-31f0-4193-a92d-c2e1b3be6ccf","resolution":{"observed_at":"2026-08-07T10:57:47.214137Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:47.181360Z","title":"Gligor, James Newsome, and Jonathan M","venue":null,"work_id":"21e2c56c-e872-4a2a-9767-6bfdfd055f0f","year":2012},"citing_paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T10:57:47.124885Z"},"links":{"citing_paper":"/paper/2506.03876"},"observation_digest":"sha256:40304572e2799dbfa84a77164090b094b40bd58f893458323d15348b4032f102","observation_id":"cc4908be-d0fb-4881-b8c9-b52b823593c7","resolution":{"observed_at":"2026-08-07T10:57:47.189187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.03876","last_updated":"2025-06-04T12:10:26Z","latest_version":1,"primary_category":"cs.OS","snapshot_observed_at":"2026-08-07T10:51:13.239591Z","submitted_at":"2025-06-04T12:10:26Z","title":"Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB"},"reference_resolution":{"displayed":63,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":0,"verified_fuzzy":59},"total_outbound_references":63},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:2506.03876."}