Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language | Paper Citation Record

Observation 6624802f-cd3a-42dc-ac1d-37b4bc002462 · outbound

This paper cites Blelloch, Laxman Dhulipala, Magdalen Dobson, and Yihan Sun.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Blelloch, Laxman Dhulipala, Magdalen Dobson, and Yihan Sun

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:44.787776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cde47c69-f256-491e-b572-d11f0383e4ff · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:05.427409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 26a28b9b-b3f2-4aa2-810c-53ec7a8c4e54 · outbound

This paper cites Ziogas, Timo Schneider, and Torsten Hoefler.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Ziogas, Timo Schneider, and Torsten Hoefler

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:45.019248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7df97771-179d-4c3b-8e95-a0588990d856 · outbound

This paper cites Elbert, Rhea George, Jeremy McGibbon, Lukas Trümper, Elynn Wu, Oliver Fuhrer, Thomas Schulthess, and Torsten Hoefler.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Elbert, Rhea George, Jeremy McGibbon, Lukas Trümper, Elynn Wu, Oliver Fuhrer, Thomas Schulthess, and Torsten Hoefler

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:05.238928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fc03fc9b-6a70-4f3e-8319-400cd1bd4ea9 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:05.064148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1ffec34f-b753-405b-a40d-1f6d3a4535b7 · outbound

This paper cites Blelloch.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Blelloch

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:04.918331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fd169522-7327-4eab-a8b8-61130908ed48 · outbound

This paper cites Blelloch and John Greiner.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Blelloch and John Greiner

Reference 7

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:58.761686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9f83c99e-b514-4f69-8a81-c50e0378122b · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:45.618851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abf5d592-31b0-4505-a23d-978e1aef8631 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:45.720276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65afd6e2-71c6-41e5-a607-ffdd7716f2fb · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:04.557268Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation daf334c9-f8fe-435e-9424-bd32aba21635 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:04.091620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 04ffd014-6195-42c8-a9ae-700838b5dd74 · outbound

This paper cites Chakravarty, Gabriele Keller, Sean Lee, Trevor L.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Chakravarty, Gabriele Keller, Sean Lee, Trevor L

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:46.289983Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9e2f818-bd47-44cf-b316-c6a9a4102785 · outbound

This paper cites Chicha, M.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Chicha, M

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:03.841728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation eaa970e0-a7de-4cc5-b2f3-161ef64c9a80 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-06T21:58:54.030378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c25d9d30-5c86-4550-b51a-1b2759a50472 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:03.668547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 26eb1a50-6292-4e78-8b16-b95f9f5791f4 · outbound

This paper cites Dang, Hao Yu, and Lawrence Rauchwerger.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Dang, Hao Yu, and Lawrence Rauchwerger

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:03.473009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 35bd0dcd-efd5-4e70-b562-c38cadc16447 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:03.277838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4821093b-c076-4db0-80d0-03cf441b1d22 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:03.061038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f27f9807-4d45-496b-8989-aeb21c2da19c · outbound

This paper cites van Balen, Gabriele K.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language van Balen, Gabriele K

Reference 19

Resolution: verified exact; doi, observed 2026-08-06T21:58:53.842993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2ebb9041-3e0e-46d4-accf-1077330cfa83 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:47.038874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6fc42a0-4684-49d1-898a-d70082b6eaf1 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:02.845083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 687aaa1e-c309-4e76-8da8-d676dca5707c · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:47.253390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c265c8b-dcea-42b3-94b7-d720920806fc · outbound

This paper cites Oancea, Anne Elster, Ari Rasch, Sameeran Joshi, Amir Mohammad Tavakkoli, and Richard Schulze.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Oancea, Anne Elster, Ari Rasch, Sameeran Joshi, Amir Mohammad Tavakkoli, and Richard Schulze

Reference 23

Resolution: verified exact; doi, observed 2026-08-06T21:58:53.667228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bcfac611-8a61-4ca5-b108-8c72eedc3f03 · outbound

This paper cites Hall, Saman P.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Hall, Saman P

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:02.657885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0e68ea18-ad75-4326-907b-ad9e6add33d6 · outbound

This paper cites Maxwell Harper and Joseph A.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Maxwell Harper and Joseph A

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:47.570637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c703dd2b-f6fe-4515-865f-c646eb63f159 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:02.485582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c5550984-9404-45ca-afae-0e43247802d4 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:02.235292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 815dc4b7-3a99-4e63-9233-6f348d40161e · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 28

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:58.245864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b79728d1-f3b9-4cb1-9876-92b3721c5269 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:02.026217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 43315366-0310-4791-af73-2b9d23db5aec · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 30

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:57.987673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0bc9079e-384c-4b1f-8303-7c461463cf03 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:01.839748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fd4ffa9d-7862-4c7a-935e-9cd5b1167fe4 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:48.355592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bd39c5f-888a-4b6b-bb8b-475da258eb77 · outbound

This paper cites Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:48.441659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d35f89c-7701-427c-8882-6d5655ca3864 · outbound

This paper cites Lopes, David Menendez, Santosh Nagarakatte, and John Regehr.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Lopes, David Menendez, Santosh Nagarakatte, and John Regehr

Reference 34

Resolution: verified exact; doi, observed 2026-08-06T21:58:53.468685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5c2d244d-10ec-4876-91f5-1d0014eafd86 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 35

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:57.512795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2505d8c3-011d-47e0-8abf-98215e984970 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:01.627803Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ba21fa09-1a43-4588-a707-816756e18d9e · outbound

This paper cites Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:49.058814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74351391-1cab-4a46-8ad6-3e8eac10a243 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:01.486801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c1a2a5f7-9751-4be8-a42a-d918690d6ed5 · outbound

This paper cites Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, and Fritz Henglein.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, and Fritz Henglein

Reference 40

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:57.228098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f62e3d01-98f6-4399-a1de-aa3420da26ea · outbound

This paper cites Oancea and Alan Mycroft.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Oancea and Alan Mycroft

Reference 41

Resolution: verified exact; doi, observed 2026-08-06T21:58:53.230033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6370b1da-5dac-496f-af82-f46cdac27744 · outbound

This paper cites Oancea and Lawrence Rauchwerger.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Oancea and Lawrence Rauchwerger

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:01.266723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f2aec75a-4d68-4b71-a1c3-34870f6b974d · outbound

This paper cites Oancea and Lawrence Rauchwerger.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Oancea and Lawrence Rauchwerger

Reference 43

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:56.965607Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 61151dd5-b1ab-43d4-a4fb-ebddc2024bff · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:49.605336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80ab9304-d373-40ce-a437-379804fde508 · outbound

This paper cites Oancea, Jason W.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Oancea, Jason W

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:01.087383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6e55c780-df27-479f-b130-4bed05829f1e · outbound

This paper cites Oancea and Stephen M.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Oancea and Stephen M

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:49.857676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 316866bd-e641-4f59-b0c2-c4d607789e12 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:00.854405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 00b47345-f26d-43a2-b135-0cbf1dd1b920 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:50.067522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 657f64a4-0234-4e99-a5e3-e074899f79d3 · outbound

This paper cites Rondon, Ming Kawaguci, and Ranjit Jhala.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Rondon, Ming Kawaguci, and Ranjit Jhala

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:50.245194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec5ea568-92f5-4616-a9f1-dff0c05e4918 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 50

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:56.374351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 42dbc777-2560-4fe9-b9d8-5d39c71dfea8 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:00.632323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3310742f-dcbb-459e-b50b-629c362018d2 · outbound

This paper cites Neutrino Production via $e^-e^+$ Collision at $Z$-boson Peak.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Neutrino Production via $e^-e^+$ Collision at $Z$-boson Peak

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:50.565544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99be6f1e-ebb4-4e92-99cc-43e93b3f8a3d · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:50.715754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7636896-76cc-4922-a8f4-015ba99198f7 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 54

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:00.357705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3106793f-8dfd-4d4e-9e25-c44085a6dd7b · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 55

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:56.043173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1348f126-728c-4914-8682-fdeccf5d10fc · outbound

This paper cites RISE & Shine: Language-Oriented Compiler Design.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language RISE & Shine: Language-Oriented Compiler Design

Reference 56

Resolution: verified exact; local_arxiv, observed 2026-08-06T21:58:55.698541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3baac828-592d-47cb-a778-8c5a822a9834 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 57

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:55.472397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f59b90a4-c7d7-467a-8b3b-dd7dfd354bfc · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 58

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:59:00.113779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8454bd56-0d3b-4e47-94f1-ddb1f39593a1 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:58:59.908149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 101dcfbb-28e0-4c12-883c-0a6bea3f9594 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 60

Resolution: verified exact; doi, observed 2026-08-06T21:58:52.983896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 936f5a05-9049-471e-adde-1f4a34f85d95 · outbound

This paper cites van den Haak, Trevor L.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language van den Haak, Trevor L

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:58:59.683803Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 25160350-eda4-42f7-9542-7f3cd643b61b · outbound

This paper cites van den Haak, Anton Wijs, Marieke Huisman, and Mark van den Brand.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language van den Haak, Anton Wijs, Marieke Huisman, and Mark van den Brand

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:58:59.427223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a0bf96b5-86e0-4ec7-98bd-b1c3bcab8d6c · outbound

This paper cites Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton-Jones.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton-Jones

Reference 63

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:55.220829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2187130d-7bfa-4dc0-84c2-39bb84f2c8a6 · outbound

This paper cites Scott, Ryan R.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Scott, Ryan R

Reference 64

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T21:58:59.258476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 99316d04-0c40-40e4-aa5c-e55211d45429 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 65

Resolution: unresolved; raw_fallback, observed 2026-08-06T21:58:59.062424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 037d0f93-6be5-4bf4-a8aa-868351bb0e9b · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:52.344859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cac942e0-8f1b-4c84-8179-e0fd1e7a96f4 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:52.477243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec223d04-dc9c-428c-a83a-d0743cfc42ff · outbound

This paper cites Applied Type System: An Approach to Practical Programming with Theorem-Proving.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Applied Type System: An Approach to Practical Programming with Theorem-Proving

Reference 68

Resolution: verified exact; local_arxiv, observed 2026-08-06T21:58:54.630293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0a0c8e0f-107c-47ed-bb68-ad5c63bbb764 · outbound

This paper cites ACM Trans.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language ACM Trans

Reference 69

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:54.986243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 94fe9e61-11e7-4c81-9067-ebf9e110a290 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:52.771783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ca4e44b-b25d-4ac5-b954-1fd1b2e0e018 · outbound

This paper cites an unresolved cited work.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Unresolved cited work

Reference 73

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T21:58:54.407399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5d9044cf-db56-4fb4-991e-7f1641c812b4 · outbound

This paper cites Springer, 427–442.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Springer, 427–442

Reference 2006

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:04.338075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 89e36fd5-27d0-4fcc-b218-374c27e263f8 · outbound

This paper cites Springer, 73–78.

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language Springer, 73–78

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:59:04.726719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation beae4f20-d999-499d-af1d-e0e43632444b · outbound

This paper cites In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (Seattle, Washington, USA) (PLDI ’13).

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (Seattle, Washington, USA) (PLDI ’13)

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-06T21:58:50.159931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers