System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) | Paper Citation Record

Observation 3ecc6e4a-31b8-4c6b-bfdb-995d34206335 · outbound

This paper cites 2004.Semantics of types for mutable state.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) 2004.Semantics of types for mutable state

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1439956-7644-4d69-b49d-243604d240fc · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.541241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 956575e1-8cba-4400-871c-b49d8bf3aaa9 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 851c0b82-8343-4981-9641-b09ec27cfc59 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 810fa929-0e0b-4a2e-b749-f03c8209403e · outbound

This paper cites Appel and David A.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Appel and David A

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0871166-9ec4-49cb-b10c-080c1c477f43 · outbound

This paper cites Parkinson, and Tobias Wrigstad.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Parkinson, and Tobias Wrigstad

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76d6a467-6089-4910-920e-e8f46252f23f · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 169625ed-150a-4868-a70a-2964360ee213 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.681821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e1718197-cca2-4e35-b9bb-d02abeb4e311 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65693c96-92fa-4743-896b-7a13aac43665 · outbound

This paper cites Newton, Simon L.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Newton, Simon L

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 196eaaa7-9d09-4689-8c3f-ac295aee0fb5 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66d6c500-9a12-45d0-896d-c462f6c9b35c · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35044b70-10ee-480f-bd6a-73a7f75bf690 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 057c5425-1529-470d-bd4d-208c5293a91c · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.583786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 83d4bbf1-d75c-4a4b-aade-bb9798f1c94c · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 15

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.747619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c9c4087c-0050-4e23-9b64-09862cc1dcd0 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fda36e4c-5d6e-4215-ac62-a870d8fd51fa · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7c821e1-1bca-4d6b-b824-2eaf9266962f · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0dcbaa1-b97a-4d1a-beb8-711c85450362 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ca1b36e-bc76-4623-9ddb-1f55bba90f60 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 727f9186-6a59-4c56-805b-8261b296049c · outbound

This paper cites Clarke, John Potter, and James Noble.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Clarke, John Potter, and James Noble

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-07-13T03:29:17.645645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2b4696f5-a051-48c5-8368-e707abfbe134 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3d94e90-4a7a-4aec-b5df-4c20615772b4 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 23

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.757036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 068241d1-b6bc-4a25-b886-ab96bf22e4eb · outbound

This paper cites Gregory Morrisett.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Gregory Morrisett

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-07-13T03:29:17.565025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a7031ada-b427-45d8-a482-662c393ea966 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf8b4b29-d924-4ac1-b7b8-498bf4445794 · outbound

This paper cites Dennis and Earl C.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Dennis and Earl C

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5ebe4f0-3892-4ee7-8b94-f1f66d75e00e · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.645261Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 623f4392-a6b4-49e2-8408-451c75ede6ff · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d4b4e2a-ddd7-4285-8302-bb4133a2c967 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e88b8609-9e33-4cc8-a889-e18598c69688 · outbound

This paper cites Foster, Manuel Fähndrich, and Alexander Aiken.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Foster, Manuel Fähndrich, and Alexander Aiken

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35e2991a-0d9e-4e60-86ba-4a6fb6c76197 · outbound

This paper cites Foster, Robert Johnson, John Kodumal, and Alex Aiken.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Foster, Robert Johnson, John Kodumal, and Alex Aiken

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-07-13T03:29:17.527470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4392a9dd-4572-4d0d-a0ab-d88cd2b74daa · outbound

This paper cites Eisenberg, Chris Casinghino, François Pottier, and Derek Dreyer.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Eisenberg, Chris Casinghino, François Pottier, and Derek Dreyer

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 787b7016-9f94-4f4b-bf83-b5ad62704012 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcf8db4b-ef65-485b-8153-1874837d3cfc · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93417fa5-a2bf-4b0d-a55e-1ec8c7114949 · outbound

This paper cites Gordon, Matthew J.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Gordon, Matthew J

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4efd854-5a6b-4143-94dc-54503ebdc4c0 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0d6fb23-79ca-446b-95c9-3056153bc6d9 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f029da1-1065-4105-a935-f91c8bee75f8 · outbound

This paper cites Gregory Morrisett, Trevor Jim, Michael W.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Gregory Morrisett, Trevor Jim, Michael W

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f39d3d8-99c1-4512-a44c-09c80623d452 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5d7053b-0cfa-47a7-9b72-66b0292c4a86 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 40

Resolution: malformed identifier; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88c8d75a-fa87-478b-975e-b56c9bd272e8 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-07-13T03:29:17.705258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1fbbf609-5cd3-4c37-9925-5987388ba1c3 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 968161bf-1728-472a-af87-25784b426533 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2b742e2-d972-40d6-9a5c-432c8f62ca75 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 44

Resolution: malformed identifier; doi_truncated, observed 2026-07-13T03:29:17.651658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 53b7a776-e245-4600-b620-8b389b7370f6 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55ed3fd8-70be-4b20-8f19-cd9bf321d8f8 · outbound

This paper cites 2019.The Rust programming language.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) 2019.The Rust programming language

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5548b7ec-2bb0-478e-8ade-da0fe734ca90 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 47

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.591198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 66cbad64-a372-4b78-9ddb-e5f6067e5890 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 48

Resolution: malformed identifier; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fee8002d-17c6-4dce-b658-b99b8aaa6219 · outbound

This paper cites Eisenberg, and Sam Lindley.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Eisenberg, and Sam Lindley

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2cce43b-5e93-491c-854b-58ddce4d4ec4 · outbound

This paper cites Lucassen and David K.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Lucassen and David K

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f77f887f-8ab0-4f75-978f-fcd2f6165b28 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 51

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.604671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation af28c4fc-bd10-4db0-91b5-1f4e1e5947a4 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 562cbac3-53f0-431a-8817-3629bad96dda · outbound

This paper cites Matsakis and Felix S.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Matsakis and Felix S

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66025624-48b4-4ccb-9485-90abe0eb9eb9 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77fb44a0-bec0-4508-aa36-8d4e56967724 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df11c22f-281e-49a9-b6e9-efffbd3065be · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f50200f-57b5-4a6f-b0fd-f4d662ffa5cc · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 57

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.697217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9cc9ecbb-2ff1-443b-afa3-11942a13a049 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e184de4c-37f1-4846-a620-6871dbf93c99 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b162338-981c-4c32-addd-32b9d479445c · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16860f26-2978-4861-ad28-b45708d4263b · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e4ca8bc-fd44-40e3-a9f3-f4a6e7806828 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe304be0-4341-4207-81ed-d50a404cbf55 · outbound

This paper cites O’Hearn, John Power, Makoto Takeyama, and Robert D.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) O’Hearn, John Power, Makoto Takeyama, and Robert D

Reference 63

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.668875Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 312f928a-61c9-41ae-9789-5a6284f8c5eb · outbound

This paper cites O’Hearn, John C.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) O’Hearn, John C

Reference 64

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07e7412a-876d-4994-be1f-b4cfb5ebe51e · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 125808ba-2d56-4f9c-b22c-94dd1cc23a96 · outbound

This paper cites InSCALA/SPLASH.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) InSCALA/SPLASH

Reference 66

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 420d25eb-ecd5-4fac-b301-1339e406014b · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e31d952a-a13a-46ad-a205-8d66ed3d559c · outbound

This paper cites Essertel, Xilun Wu, Lilliam I.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Essertel, Xilun Wu, Lilliam I

Reference 68

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e31c5fcb-5796-4b34-ba71-a3b57409230d · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 69

Resolution: verified exact; arxiv_id, observed 2026-07-13T03:29:17.634496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b174c622-5ea2-4429-af81-25af351009af · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a58e7536-8891-4768-a68a-632a8402c909 · outbound

This paper cites Reynolds.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Reynolds

Reference 71

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84572af4-8281-48bb-8e53-d1ac9cfbf107 · outbound

This paper cites Reynolds.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Reynolds

Reference 72

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.589422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0053fbcf-380f-4800-b5cd-e4b15c510514 · outbound

This paper cites Reynolds.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Reynolds

Reference 73

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3812f684-efa1-4a07-b731-470d487e4d04 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cd8f97b-b947-4953-971b-d4c5f364f084 · outbound

This paper cites Capture checker,.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Capture checker,

Reference 75

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20fd5ce9-159b-4a96-a2e7-ab89a21abdfe · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 76

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e93787d9-8ffd-4131-afab-49e73b666014 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7910a797-3a2e-46c0-b2fd-8127ac59f94c · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14a4229c-d606-4a63-8f62-102b706040ad · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5feb66b-f719-400d-aa67-44a5ac66cd43 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 80

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.567422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f7ccf506-465f-4f92-ae97-42bbb8e4db0b · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 81

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebb31726-362e-4983-a788-83ef9ec74bee · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 82

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5b97693-e177-4d1a-9af4-6a4f2564a9ab · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 83

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d884c21f-519a-460c-9dff-0a8ff956b0c5 · outbound

This paper cites Tschantz and Michael D.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Tschantz and Michael D

Reference 84

Resolution: verified exact; arxiv_id, observed 2026-07-13T03:29:17.574578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cce8eb3b-5cf4-40ed-b64b-137ba17abfc7 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fb7e384-5c73-49b9-8758-14e3c0732737 · outbound

This paper cites Gregory Morrisett.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Gregory Morrisett

Reference 86

Resolution: verified exact; arxiv_id, observed 2026-07-13T03:29:17.660229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f77d6ecc-8eac-4ba6-b5ca-22bfa1a33248 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 87

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbc3621e-8677-473a-8c9a-14940c867017 · outbound

This paper cites Oxide: The Essence of Rust.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Oxide: The Essence of Rust

Reference 88

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e047d310-19b5-4ba3-ac7c-29a99add2dba · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 89

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9ff6a0c-b700-4a35-b90e-7046c26e2dfc · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 90

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.556178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4f56c6b4-720d-47ef-a371-270b00776338 · outbound

This paper cites an unresolved cited work.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) Unresolved cited work

Reference 91

Resolution: unresolved; no resolver link, observed 2026-07-13T03:25:47.528036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e053eba0-425a-4c00-9508-02c056a50a56 · outbound

This paper cites separate.

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version) separate

Reference 92

Resolution: verified exact; doi, observed 2026-07-13T03:29:17.665829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers