Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T10:57:47.124885Z
Paper Citation Record · LEDGER
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
63 of 63 outbound references displayed
- verified exact0
- verified fuzzy59
- unresolved4
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 48ee7d0b-5fcf-40da-bac3-793c55b7a79b · outbound
This paper cites https://github.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB https://github
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:49.065824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4ad275e2-b814-45b0-a475-e4578e128fb8 · outbound
This paper cites https://github.com/asterinas/ atc25-artifact-evaluation/.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB https://github.com/asterinas/ atc25-artifact-evaluation/
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:49.046834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation fbf29eb2-4d59-48cc-80c1-1d1bd97cf635 · outbound
This paper cites https://en.wikipedia.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB https://en.wikipedia
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.999651Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9f7f1b13-c847-4db8-80e5-81da8abb4341 · outbound
This paper cites C++ named requirements: POD- Type (deprecated in C++20) - cppreference.com.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB C++ named requirements: POD- Type (deprecated in C++20) - cppreference.com
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.973461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 604be20a-4c91-431b-baf7-12e77b94c863 · outbound
This paper cites CFS Scheduler — The Linux Kernel documenta- tion.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB CFS Scheduler — The Linux Kernel documenta- tion
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.941965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c7bd5a64-6fef-4136-b8ba-907827a0c597 · outbound
This paper cites Behavior con- sidered undefined - The Rust Reference.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Behavior con- sidered undefined - The Rust Reference
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.916091Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation beb2c663-618b-4b15-95e4-f405820ff74a · outbound
This paper cites The borrow checker - Rust Compiler Development Guide.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB The borrow checker - Rust Compiler Development Guide
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.890860Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 34d61cec-3525-4fbc-9dcc-96f6917177cd · outbound
This paper cites How Safe and Unsafe In- teract - The Rustonomicon.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB How Safe and Unsafe In- teract - The Rustonomicon
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.860612Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 77fcb1ee-0cf5-44bb-8466-9a1614217996 · outbound
This paper cites Type check- ing - Rust Compiler Development Guide.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Type check- ing - Rust Compiler Development Guide
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.828341Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 190520c6-4ef2-4318-8d2e-198235447c38 · outbound
This paper cites What is Ownership? - The Rust Programming Lan- guage.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB What is Ownership? - The Rust Programming Lan- guage
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.795003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation edbda71d-489c-4341-b2f7-d54e4d6effac · outbound
This paper cites Widespread IT Outage Due to CrowdStrike Update.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Widespread IT Outage Due to CrowdStrike Update
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.756031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 93f969c6-44bf-451f-b9f4-e6ae9291fe62 · outbound
This paper cites an unresolved cited work.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:57:48.728923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 58e8a436-cf77-48f7-b061-8d8e5107ac78 · outbound
This paper cites Flexible I/O Tester.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Flexible I/O Tester
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.697986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4b600732-848d-4d89-abb1-d3a3c32056f3 · outbound
This paper cites The Slab Allocator: An Object-Caching Kernel Memory Allocator.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB The Slab Allocator: An Object-Caching Kernel Memory Allocator
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.671010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 663aa31a-32f1-4179-bcba-50b015f514c0 · outbound
This paper cites Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.645112Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0fa17fac-abc7-427f-9877-94be1ae13d2b · outbound
This paper cites Theseus: an experiment in operating system structure and state management.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Theseus: an experiment in operating system structure and state management
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.615813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c2e303f3-8f0f-4009-ab0a-0d9a201ff1a0 · outbound
This paper cites An empirical study of operating systems errors.SIGOPS Oper.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB An empirical study of operating systems errors.SIGOPS Oper
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.592053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 357c0d02-e4d7-4421-a94f-a9877fb23467 · outbound
This paper cites A first look at Rust in the 6.1 kernel.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB A first look at Rust in the 6.1 kernel
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.560927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f8f9b671-b90b-4bba-a8a2-1848785523d0 · outbound
This paper cites Frans Kaashoek, and Robert T.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Frans Kaashoek, and Robert T
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.513968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8826a5ba-cb0a-447d-a258-5217f6c927dc · outbound
This paper cites Nested kernel: An op- erating system architecture for intra-kernel privilege sep- aration.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Nested kernel: An op- erating system architecture for intra-kernel privilege sep- aration
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.493359Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f1c38b84-a673-45bb-9639-cf360e4127b1 · outbound
This paper cites Redox - your next(gen) os.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Redox - your next(gen) os
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.453809Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 799bb3c4-7c2c-4969-916e-ae93082f59b7 · outbound
This paper cites Smoltcp: TCP/IP Stack for Embed- ded Rust.https://github.com/smoltcp-rs, 2025.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Smoltcp: TCP/IP Stack for Embed- ded Rust.https://github.com/smoltcp-rs, 2025
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.419695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation bdb5ae4e-4bcf-41a8-a836-114247ac0eb5 · outbound
This paper cites Example: Writing a Kernel in 100 Lines of Safe Rust - The Asterinas Book.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Example: Writing a Kernel in 100 Lines of Safe Rust - The Asterinas Book
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.392399Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation bad6c88e-0f54-41ac-a9d9-86f18a7cb51a · outbound
This paper cites The reader- writer interface of untyped memory.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB The reader- writer interface of untyped memory
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.361572Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9fee1def-addb-4cb2-b6d0-05bf46c4a4e5 · outbound
This paper cites The Rustonomicon.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB The Rustonomicon
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.331157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9e9d24bc-9a3c-42de-8a40-1e915a91a0bd · outbound
This paper cites ab - apache http server benchmarking tool.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB ab - apache http server benchmarking tool
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.300870Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 92f3e7b2-99db-4fd9-9bc1-a80c42335be5 · outbound
This paper cites Growth, evolution, and structural change in open source software.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Growth, evolution, and structural change in open source software
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.260865Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3ff78fda-0db2-4af7-8fd0-06cbacacb30f · outbound
This paper cites The JX operating system.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB The JX operating system
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.238138Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ea413670-c06a-4200-a00a-36fcaea64d56 · outbound
This paper cites Android rust introduction.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Android rust introduction
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.205893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 229fd4a5-ff91-4e3e-9415-070ae035dd60 · outbound
This paper cites What is mem- ory safety and why does it matter? https://www.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB What is mem- ory safety and why does it matter? https://www
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.157700Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6c9bee22-1bf8-4e17-aad5-daf5c18e9a9d · outbound
This paper cites Klint: Compile-time detection of atomic context violations for kernel rust code.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Klint: Compile-time detection of atomic context violations for kernel rust code
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.114382Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9008e0a1-6ad0-428a-b99a-d378f7a8d081 · outbound
This paper cites ghost: Fast & flexible user-space delegation of linux schedul- ing.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB ghost: Fast & flexible user-space delegation of linux schedul- ing
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.067264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 89fa5155-77cc-44b5-ba3f-c7aa6c812d76 · outbound
This paper cites Singularity: Rethinking the software stack.ACM SIGOPS Operating Systems Review, 41(2):37–49, April 2007.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Singularity: Rethinking the software stack.ACM SIGOPS Operating Systems Review, 41(2):37–49, April 2007
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.037707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 75e5190d-81c4-446a-8859-d217b9ff76ac · outbound
This paper cites The evolution of freebsd and linux.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB The evolution of freebsd and linux
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:48.014961Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation abc0a889-4c0e-443c-8b02-612fe58b89d7 · outbound
This paper cites A simple cor- rectness proof of the MCS contention-free lock.Infor- mation Processing Letters, 48(5):215–220.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB A simple cor- rectness proof of the MCS contention-free lock.Infor- mation Processing Letters, 48(5):215–220
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.991708Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e8b0f9c9-2cba-41d3-a067-5a1ce3e54e9f · outbound
This paper cites Kdpm: Kernel data protection mechanism using a memory protection key.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Kdpm: Kernel data protection mechanism using a memory protection key
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.963203Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7ae09693-db1e-4eac-b1e8-33ac351a7f17 · outbound
This paper cites Ex- ploring rust for unikernel development.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Ex- ploring rust for unikernel development
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.940194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 328ce291-35fc-4497-96c6-0bd4db3c19cb · outbound
This paper cites Giffin, Pat Pannuto, Prabal Dutta, and Philip Levis.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Giffin, Pat Pannuto, Prabal Dutta, and Philip Levis
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.912562Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3a912312-2704-42c8-b87d-5e9ca5f948dc · outbound
This paper cites An Empirical Study of {Rust- for-Linux}: The Success, Dissatisfaction, and Compro- mise.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB An Empirical Study of {Rust- for-Linux}: The Success, Dissatisfaction, and Compro- mise
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.867976Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f7585adb-4d7f-4701-a098-b238b28235ae · outbound
This paper cites An empirical study of rust- for-linux: The success, dissatisfaction, and compromise.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB An empirical study of rust- for-linux: The success, dissatisfaction, and compromise
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.849083Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b208963f-5d50-4246-96d6-7c73236a7f87 · outbound
This paper cites Rust — The Linux Kernel documen- tation.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Rust — The Linux Kernel documen- tation
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.819159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7209848d-8c03-4ec7-a80c-5ee29fd88a14 · outbound
This paper cites Llvm tools.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Llvm tools
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.788926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ffe2153b-547d-4b44-99b5-d312fd3ba36d · outbound
This paper cites an unresolved cited work.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:57:47.764729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b70bd148-6bc5-47bc-a86d-cf315afe82e1 · outbound
This paper cites Theodore Markettos, Colin Rothwell, Brett F.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Theodore Markettos, Colin Rothwell, Brett F
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.737255Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2cd14c10-5b78-41d6-811d-6911d57afa8f · outbound
This paper cites McKenney, Joel Fernandes, Silas Boyd- Wickizer, and Jonathan Walpole.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB McKenney, Joel Fernandes, Silas Boyd- Wickizer, and Jonathan Walpole
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.711664Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f91a9d96-b0c7-47b3-8005-13848b848f0f · outbound
This paper cites Lmbench: Portable tools for performance analysis.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Lmbench: Portable tools for performance analysis
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.675864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 20372753-d8cd-4cd9-858e-92da0b1fad4c · outbound
This paper cites Enoki: High velocity linux kernel scheduler development.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Enoki: High velocity linux kernel scheduler development
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.647420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0502830c-68b2-485c-9504-089863b66d74 · outbound
This paper cites Miri - an interpreter for rust’s mid-level in- termediate representation.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Miri - an interpreter for rust’s mid-level in- termediate representation
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.611842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ca16bf0c-fe78-4f96-8e4d-7b9bee7bffe8 · outbound
This paper cites RedLeaf: Isolation and communication in a safe operating system.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB RedLeaf: Isolation and communication in a safe operating system
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.582999Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 94511ac7-df7c-4b16-9467-2a6790fd3eb6 · outbound
This paper cites Lightweight kernel isolation with virtualization and vm functions.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Lightweight kernel isolation with virtualization and vm functions
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.559275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 712c33f3-ea46-48ef-a3ff-289ac95a3e20 · outbound
This paper cites Measuring and reducing cpu usage in sqlite.https://sqlite.org/cpu.html, 2024.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Measuring and reducing cpu usage in sqlite.https://sqlite.org/cpu.html, 2024
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.541198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2a3ca7b7-8b4c-4f8c-9774-9d5a5688df04 · outbound
This paper cites an unresolved cited work.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:57:47.519034Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation bfcb751c-df11-4bf6-bcfb-d9027a36b123 · outbound
This paper cites Redis benchmark.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Redis benchmark
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.493770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 52ce39ca-8bd1-4ce1-a313-9076ad210cc6 · outbound
This paper cites Microsoft is busy rewrit- ing core windows code in memory-safe rust.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Microsoft is busy rewrit- ing core windows code in memory-safe rust
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.467281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 95cde6a5-1a09-454b-9807-c0034d97024b · outbound
This paper cites Mutex::lock_noguard() may be unsafe · Issue #862 · Rust-for-Linux/linux.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Mutex::lock_noguard() may be unsafe · Issue #862 · Rust-for-Linux/linux
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.440327Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation dcda8dd6-6280-42f7-a681-01909d863623 · outbound
This paper cites Sartakov, Lluís Vilanova, and Peter Pietzuch.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Sartakov, Lluís Vilanova, and Peter Pietzuch
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.415686Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2eaf12fe-0eb0-4a95-bd91-f4c94d628039 · outbound
This paper cites Understanding open source software evolution.Software Evolution and Feedback: Theory and Practice, 9:181–205, 2006.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Understanding open source software evolution.Software Evolution and Feedback: Theory and Practice, 9:181–205, 2006
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.367002Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ccd26670-8b29-4c54-833c-09d39ea322f7 · outbound
This paper cites Strace linux syscall tracer.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Strace linux syscall tracer
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.331905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 207509bd-7592-4c71-9ebe-d4d376eff4d6 · outbound
This paper cites Intra-unikernel isolation with intel mem- ory protection keys.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Intra-unikernel isolation with intel mem- ory protection keys
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.307378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f3451713-c0eb-4213-8ed4-8183f893d451 · outbound
This paper cites RustSec Advisory Database.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB RustSec Advisory Database
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.275624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c8fb4003-b9df-423b-93cc-65f50e0bfc6d · outbound
This paper cites an unresolved cited work.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:57:47.236553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2e77054b-31f0-4193-a92d-c2e1b3be6ccf · outbound
This paper cites Safe to the last instruc- tion: Automated verification of a type-safe operating system.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Safe to the last instruc- tion: Automated verification of a type-safe operating system
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.214137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation cc4908be-d0fb-4881-b8c9-b52b823593c7 · outbound
This paper cites Gligor, James Newsome, and Jonathan M.
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Gligor, James Newsome, and Jonathan M
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:57:47.189187Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Pith citing papers
No inbound Pith citation observations are available.