Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:09:19.040463Z
Paper Citation Record · LEDGER
Automated Verification of CountDownLatch
As of 23 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 1 inbound Pith citation observation for arXiv:1908.09758.
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-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T20:04:58.046776Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-15T20:04:58.360541Z
Reference resolution
35 of 35 outbound references displayed
- verified exact1
- verified fuzzy20
- unresolved14
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 59bd6f5e-9d99-4717-aed6-db57a20bbcba · outbound
This paper cites Permission-Based Separation Logic for Multithreaded Java Programs.
Automated Verification of CountDownLatch Permission-Based Separation Logic for Multithreaded Java Programs
Reference 1
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T11:09:19.110544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ea2068f8-148b-4b13-bf06-f916725cde17 · outbound
This paper cites Bornat, C.
Automated Verification of CountDownLatch Bornat, C
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.827376Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 84f1dd15-4252-43ca-a2e5-71c6ee730fc7 · outbound
This paper cites Bornat, C.
Automated Verification of CountDownLatch Bornat, C
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.804297Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 61e20520-ff5b-4257-bb03-59839d8a77ed · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.776414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e34a93bb-bfe9-4182-b8f2-2809e814ad71 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.752426Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 65e2f0d3-c561-46a3-ab0f-5052c02628c2 · outbound
This paper cites Dinsdale-Young, L.
Automated Verification of CountDownLatch Dinsdale-Young, L
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.729115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b708f038-54c7-4739-882d-5fea3cc45abf · outbound
This paper cites Dinsdale-Young, M.
Automated Verification of CountDownLatch Dinsdale-Young, M
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.708822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 6b3aea75-c30c-406b-9340-7e35ad2b7efc · outbound
This paper cites Dodds, S.
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.684701Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 8cb23f57-6a2a-45d9-95eb-ef25d5925044 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.656209Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 47edd8cb-a096-43ef-b59b-c0c8ce33806a · outbound
This paper cites Feng and Z.
Automated Verification of CountDownLatch Feng and Z
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.638059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation bee520da-53be-477f-b6b8-469f5454b5b6 · outbound
This paper cites Gotsman, J.
Automated Verification of CountDownLatch Gotsman, J
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.614528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 663461fc-5c04-464f-9201-a90c315a8eb1 · outbound
This paper cites Haack, M.
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.595907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 86464606-d064-4d7a-98af-bc837dec58de · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.566635Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 37a1c694-504e-4b2d-8b32-d6d81526dcea · outbound
This paper cites Hobor and C.
Automated Verification of CountDownLatch Hobor and C
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.547556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 76ba66a0-2a86-46e0-8063-90122a68ca66 · outbound
This paper cites Hobor and J.
Automated Verification of CountDownLatch Hobor and J
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.528152Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1e0fc245-338c-4c82-bd70-2f0c3c680892 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.508857Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0b27424e-2f29-4ce8-8775-5ccc5a8390de · outbound
This paper cites Jacobs and F.
Automated Verification of CountDownLatch Jacobs and F
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.487330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5331a2aa-6cce-425b-8046-301d4d492c37 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.467446Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation c84caa1e-ece4-40cd-bbfd-f28e44e1fbb2 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.451499Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 17eba793-e491-4dee-9667-a23238c83f29 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.434595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a76afe17-21dc-4b03-800f-409297bf2a11 · outbound
This paper cites Le, W.-N.
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.415466Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 916d35cb-ea39-4eeb-b505-7c53b899eca4 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.397084Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 16465ce0-7b12-4855-8872-338ee91510e5 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.375922Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9b2d1e0e-3913-43e6-8f6d-0b00fec9f2d1 · outbound
This paper cites Nanevski, R.
Automated Verification of CountDownLatch Nanevski, R
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.357276Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4d35314c-5e75-4167-aed2-6c98cabae3a7 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.340157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 56d08ebf-2150-4a75-b8b3-df9fa6b7e648 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.319110Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 305c18d3-4fe4-4c8d-99da-2544be8cd8dc · outbound
This paper cites Pilkiewicz and F.
Automated Verification of CountDownLatch Pilkiewicz and F
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.300834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 68dcc15f-7698-4307-8f87-d1f84d18b8c2 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.282587Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1d70d615-7658-4fdb-a576-b9b2978b04b2 · outbound
This paper cites an unresolved cited work.
Automated Verification of CountDownLatch Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T11:09:19.264681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7c29edef-2daa-44cb-a94a-cb0c03feaa8e · outbound
This paper cites Sergey, A.
Automated Verification of CountDownLatch Sergey, A
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.247794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 2e210db8-bbd7-48b1-a84b-c50ae4dda56a · outbound
This paper cites Sieczkowski, K.
Automated Verification of CountDownLatch Sieczkowski, K
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.226153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 93d02d11-7435-4289-9f78-45f76e3ca54b · outbound
This paper cites Silberschatz, P.
Automated Verification of CountDownLatch Silberschatz, P
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.204194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f974aa51-b7c2-4547-8dcc-e6cb3632f655 · outbound
This paper cites Svendsen and L.
Automated Verification of CountDownLatch Svendsen and L
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.180013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 44208759-b1f0-47cd-8651-99228e787367 · outbound
This paper cites Svendsen, L.
Automated Verification of CountDownLatch Svendsen, L
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.160062Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 84bd4117-3b06-448a-9a8d-e3894c6b2d00 · outbound
This paper cites Vafeiadis and M.
Automated Verification of CountDownLatch Vafeiadis and M
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T11:09:19.137175Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
Observation fde43484-da24-4d6c-875d-11990126fb61 · inbound
Towards Bug-Free Distributed Go Programs cites this paper.
Towards Bug-Free Distributed Go Programs Automated Verification of CountDownLatch
Reference 7
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T20:04:58.368193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.