Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T15:13:00.525360Z
Paper Citation Record · LEDGER
As of 13 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 0 inbound Pith citation observations for arXiv:2411.14590.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T15:13:00.525360Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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
69 of 69 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 3aee4e7f-9924-4fac-a2e3-efe25646d025 · outbound
LLOR: Automated Repair of OpenMP Programs In: SEFM 2015
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f5b701c4-1003-49ac-a193-272d98884a67 · outbound
LLOR: Automated Repair of OpenMP Programs In: IPDPS 2016
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c46609fd-caa0-4170-91d6-f16d6a1dee74 · outbound
LLOR: Automated Repair of OpenMP Programs In: IPDPS 2018
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2204a0d7-600f-46ca-8cfd-db828e251c5b · outbound
LLOR: Automated Repair of OpenMP Programs In: FMCO 2005
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 54324357-1f12-49d0-81f4-5f9fedde9581 · outbound
LLOR: Automated Repair of OpenMP Programs In: IWOMP 2011
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a83b5ed5-680d-4b8d-b79c-c7400d9d3560 · outbound
LLOR: Automated Repair of OpenMP Programs TOPLAS 37(3), 10:1–10:49 (2015) 3.1
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c11f982f-17e2-4b31-94b4-822d7393bec0 · outbound
LLOR: Automated Repair of OpenMP Programs In: OOPSLA 2012
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9550fb91-c8f1-48b5-a7f8-35696ee2a708 · outbound
LLOR: Automated Repair of OpenMP Programs In: TACAS 2015
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7daf054c-8255-44d0-a491-b7a1f09f3b8a · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ccee66db-a0e3-4201-b925-f817262284f5 · outbound
LLOR: Automated Repair of OpenMP Programs Science of Computer Programming 95, 376–388 (2014) 3.1
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7a21db3c-967d-4117-a479-c748cf31c6ca · outbound
LLOR: Automated Repair of OpenMP Programs IEEE Trans
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b21f610a-90a4-4b76-a603-1a53671e8f3a · outbound
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 80e9d718-bf40-43f0-b3ea-8ced251ef364 · outbound
LLOR: Automated Repair of OpenMP Programs In: CA V 2011
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bf167f08-8567-45d2-b0bd-30374b1463a0 · outbound
LLOR: Automated Repair of OpenMP Programs In: ICSE 2011
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3d92b4f3-ae7c-4fd7-8d85-8817986ecb10 · outbound
LLOR: Automated Repair of OpenMP Programs In: LCPC 2016
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 825ea919-0971-4ce8-9311-0d699257223c · outbound
LLOR: Automated Repair of OpenMP Programs In: IMPACT 2016
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a257d72f-ec4c-4ade-afca-83edc34b4624 · outbound
LLOR: Automated Repair of OpenMP Programs In: IISWC 2009
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f8ad8b5c-eb35-4b0e-bf9e-fbb781ffad1b · outbound
LLOR: Automated Repair of OpenMP Programs IEEE Computational Science and Engineering 5(1), 46–55 (1998) 1
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 28dbd3ec-8501-4ef5-9b5a-5f2edbccfe87 · outbound
LLOR: Automated Repair of OpenMP Programs In: ESOP 2010
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 960a8f7e-1921-4e50-a62d-9c5e694d01d1 · outbound
LLOR: Automated Repair of OpenMP Programs In: PADD 1991
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 18b3b419-5d6d-4ea3-bea2-11c3a9156e54 · outbound
LLOR: Automated Repair of OpenMP Programs In: IWOMP 2013
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b6b777db-2650-4760-a1ae-3e525dd8687a · outbound
LLOR: Automated Repair of OpenMP Programs In: SOSP 2003
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 024b1ecf-8661-4116-b145-e7703d27bd78 · outbound
LLOR: Automated Repair of OpenMP Programs In: SAT 2006
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a86de21c-0c39-4459-badc-8f8915c41bab · outbound
LLOR: Automated Repair of OpenMP Programs In: CA V 2006
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6b26794b-951f-40c6-a035-51756e6fe6c0 · outbound
LLOR: Automated Repair of OpenMP Programs In: PLDI 2011
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 85a69759-ba85-4f45-ba2b-def1a3117bf2 · outbound
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f0cc970d-0558-4949-9936-de134ab762eb · outbound
LLOR: Automated Repair of OpenMP Programs Journal of Computer and System Sciences 9(3), 256–278 (1974) 2.3
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a1c5df88-1914-4dde-a208-aef05c821495 · outbound
LLOR: Automated Repair of OpenMP Programs In: FM 2015
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e648dc3f-418c-4182-934f-0227ad5aca84 · outbound
LLOR: Automated Repair of OpenMP Programs Automatically finding atomic regions for fixing bugs in Concurrent programs
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation aa24485f-3cdf-4267-b111-ef39f0f1b43c · outbound
LLOR: Automated Repair of OpenMP Programs In: VMCAI 2021
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 95716762-5619-4561-85a4-41554b8c59c4 · outbound
LLOR: Automated Repair of OpenMP Programs In: IPDPS 2012
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7f7818e0-9ee0-4bd7-b85c-c11a91fe91c5 · outbound
LLOR: Automated Repair of OpenMP Programs https://github.com/ParRes/Kernels, [Online; accessed 30-September-2024] 4.1
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 04498954-4036-4879-9e61-09547fb72c69 · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c66f1416-c292-4168-a96a-edc6281d23ab · outbound
LLOR: Automated Repair of OpenMP Programs In: CGO 2004
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 66913970-728f-472e-8e19-2dcaef6fa400 · outbound
LLOR: Automated Repair of OpenMP Programs In: FSE 2010
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 736dac87-2f9c-4faf-b56f-17feab59c88b · outbound
LLOR: Automated Repair of OpenMP Programs In: PPOPP 2012
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7c338023-3fbb-4760-9e02-1e83e6aed472 · outbound
LLOR: Automated Repair of OpenMP Programs In: SC 2017
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 92b0a779-d225-4df5-aa52-80d5c98e3eb7 · outbound
LLOR: Automated Repair of OpenMP Programs https://github.com/cs17resch01003/llor, [Online; accessed 30-September-2024] 4, A.3, A.3 16 Bora, Joshi, Muduganti et al
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5116ca0c-7f35-4719-96b5-7c1c761c9420 · outbound
LLOR: Automated Repair of OpenMP Programs https://doi.org/10.5281/zenodo
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 196d5f65-5839-4238-8124-2bf6cff1045a · outbound
LLOR: Automated Repair of OpenMP Programs In: ICST 2011
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 150d411e-a07b-491b-a32f-f76d7f596b9b · outbound
LLOR: Automated Repair of OpenMP Programs On Using Unsatisfiability for Solving Maximum Satisfiability
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 43aae8f9-8d0b-4873-aad5-76da1fd4eae3 · outbound
LLOR: Automated Repair of OpenMP Programs In: SC 1991
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c1b4a135-9267-4883-8486-2e963785bd2e · outbound
LLOR: Automated Repair of OpenMP Programs https://docs
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c6f948b0-c938-4e20-8d0f-3e5af090d1ff · outbound
LLOR: Automated Repair of OpenMP Programs Alves, E.H., da Silva, I., Ismail, H., Cordeiro, L.C., de Lima Filho, E.B.: ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 95caaab3-3859-4207-9575-9fad95b35760 · outbound
LLOR: Automated Repair of OpenMP Programs In: TACAS 2008
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6d241ac8-045c-41d0-8778-045402837680 · outbound
LLOR: Automated Repair of OpenMP Programs In: MICRO 2010
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f872aa4f-101d-499d-9eda-14d969b2321e · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5ab0c492-bc3f-4187-ae62-e67541f3b09d · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a607bcfb-77b4-467b-abcc-f6355afaf069 · outbound
LLOR: Automated Repair of OpenMP Programs In: OSDI 1996
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c514c97e-5587-433e-bf55-5d76055e1721 · outbound
LLOR: Automated Repair of OpenMP Programs TOPLAS 33(1), 3:1–3:55 (2011) 3.1
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b2ddcf0c-b183-4320-9ae7-2ea410dc573e · outbound
LLOR: Automated Repair of OpenMP Programs https://proxyapps.exascaleproject
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 076a961c-05be-4cae-a3c0-09905a39f606 · outbound
LLOR: Automated Repair of OpenMP Programs In: PACT 2011
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b771cba4-0e04-474f-bdc9-405059ce1995 · outbound
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 160d2ee9-5774-4819-ae7d-a8a690528f93 · outbound
LLOR: Automated Repair of OpenMP Programs In: JMLC 2003
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bb135ba0-fcb2-413f-8d8b-ae0bcb6540e1 · outbound
LLOR: Automated Repair of OpenMP Programs In: WBIA 2009
Reference 55
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 113395a6-0ae9-432c-9f32-37c3793ce354 · outbound
LLOR: Automated Repair of OpenMP Programs In: R V 2011
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b90de49d-d0f9-4a63-acf8-4294f9f1108f · outbound
LLOR: Automated Repair of OpenMP Programs http://valgrind.org/docs/ manual/drd-manual.html, [Online; accessed 30-September-2024] A.4
Reference 57
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1d20b218-ef8f-472b-b679-938afc46d031 · outbound
LLOR: Automated Repair of OpenMP Programs http://valgrind.org/ docs/manual/hg-manual.html, [Online; accessed 30-September-2024] 2.1, 3.1, A.4
Reference 58
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ea7c2323-075f-48fe-93bc-c49e3c32e248 · outbound
LLOR: Automated Repair of OpenMP Programs In: POPL 2010
Reference 59
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 569a4169-ba22-4159-977e-e34f33a48745 · outbound
LLOR: Automated Repair of OpenMP Programs In: FSE 2007
Reference 60
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 00be5f45-941b-4765-aeec-33c9ba8d9218 · outbound
LLOR: Automated Repair of OpenMP Programs In: CORRECTNESS
Reference 61
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d1a93b80-1d34-449a-8f23-aaea5017423a · outbound
Reference 62
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f6af3b5c-2cb5-4ebe-934e-dd2d69db5b33 · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 67
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 36e51908-a18b-4df4-aae4-cfe4bd34716b · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 68
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9551e707-3726-4482-bd3b-4325b922a576 · outbound
Reference 69
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d833113d-1a42-4fe7-ac38-91c455813922 · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 297
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 167ef913-af84-4ea5-8ff9-dff85dedf3a4 · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 2003
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e5360a79-f452-471c-86e4-34350e30112a · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 2005
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f50a211d-0342-494c-95b1-a42088a4159b · outbound
LLOR: Automated Repair of OpenMP Programs Unresolved cited work
Reference 2018
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
No inbound Pith citation observations are available.