Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models | Paper Citation Record

Observation c9522ad2-48ff-49f8-8850-5576c39350ad · outbound

This paper cites A., Aronis, S., Atig, M.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models A., Aronis, S., Atig, M

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.579539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b57cd7cd-7e5f-4008-9dbf-72478dad02a1 · outbound

This paper cites Litmus: Running tests against hardware.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Litmus: Running tests against hardware

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.584356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ce0492e-e39d-4ccc-8a59-836aab5157ca · outbound

This paper cites Can LLMs Patch Security Issues?.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Can LLMs Patch Security Issues?

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.587891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 872d2bd6-0dec-43df-abb4-155ad2e1318e · outbound

This paper cites In 2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (2024), IEEE, pp.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models In 2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (2024), IEEE, pp

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.591638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ffc6cd5-b5df-4765-9d5d-4417b5f0ba75 · outbound

This paper cites Program Synthesis with Large Language Models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Program Synthesis with Large Language Models

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.595047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b67384b-7d65-40ab-b904-4bdd5a3a8c54 · outbound

This paper cites Proceedings of Machine Learning and Systems 3 (2021), 181–193.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Proceedings of Machine Learning and Systems 3 (2021), 181–193

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.598637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9d83232-f500-43e4-9027-69d11e52238c · outbound

This paper cites ACM SIGPLAN Notices 51, 1 (2016), 539–554.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models ACM SIGPLAN Notices 51, 1 (2016), 539–554

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.602359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a4ab940-564a-4381-bdf2-b5b891bcd7cb · outbound

This paper cites DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.605770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0fe79b8-7746-462f-bb3c-2adc2351f62f · outbound

This paper cites Competition on software verification and witness validation: Sv-comp 2023.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Competition on software verification and witness validation: Sv-comp 2023

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.609450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6513225e-d890-4b04-bc50-13beacf4bf02 · outbound

This paper cites Cpa-symexec: efficient symbolic execution in cpachecker.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Cpa-symexec: efficient symbolic execution in cpachecker

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.612985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05f6498a-65fd-4a2a-90cd-a580aae71391 · outbound

This paper cites W., and Sergey, I.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models W., and Sergey, I

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.616702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fadf36b1-d108-4f23-9d68-43d9a3e5d350 · outbound

This paper cites In Automated Technology for Verification and Analysis: 13th International Symposium, ATV A 2015, Shanghai, China, October 12-15, 2015, Proceedings 13 (2015), Springer, pp.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models In Automated Technology for Verification and Analysis: 13th International Symposium, ATV A 2015, Shanghai, China, October 12-15, 2015, Proceedings 13 (2015), Springer, pp

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.619739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75539168-384a-4630-ad4d-26b43b1917b0 · outbound

This paper cites RepairAgent: An Autonomous, LLM-Based Agent for Program Repair.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models RepairAgent: An Autonomous, LLM-Based Agent for Program Repair

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.622665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f033181a-c957-4f22-8802-995b7819e0b6 · outbound

This paper cites Language Models are Few-Shot Learners.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Language Models are Few-Shot Learners

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.625930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f45f368f-5bcd-4047-a84f-77c84730187d · outbound

This paper cites Brick: Path enumeration based bounded reachability checking of c program (competition contribution).

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Brick: Path enumeration based bounded reachability checking of c program (competition contribution)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.628671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 581a51f6-6aaa-4e33-b953-f7b2caf5d39c · outbound

This paper cites Klee symbolic execution engine in 2019.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Klee symbolic execution engine in 2019

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.632056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21fa218b-02f1-4230-aad3-94670383378e · outbound

This paper cites CodeGraph: Enhancing Graph Reasoning of LLMs with Code.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models CodeGraph: Enhancing Graph Reasoning of LLMs with Code

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.634838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f468efd-8972-4ba3-8fd0-5af293be2184 · outbound

This paper cites Bgnn4vd: Constructing bidirectional graph neural-network for vulnerability detection.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Bgnn4vd: Constructing bidirectional graph neural-network for vulnerability detection

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.638357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59b3ebde-d59d-42a8-b18f-58b88a1f5dd2 · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.641236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d31316b-9ea2-402c-be03-31ad87329721 · outbound

This paper cites A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.644683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 036b6485-b5cd-4ceb-bc50-1b3b562e063a · outbound

This paper cites Data race detection using large language models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Data race detection using large language models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.648564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f484cc92-55a7-4542-944a-7f8aa988c937 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Evaluating Large Language Models Trained on Code

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.651617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9fc7401-85a5-4cea-a42d-b2f5c17c9346 · outbound

This paper cites ACM Transactions on Software Engineering and Methodology (TOSEM) 30 , 3 (2021), 1–33.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models ACM Transactions on Software Engineering and Methodology (TOSEM) 30 , 3 (2021), 1–33

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.654767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e44c812-5776-4d94-9b48-c015dca1570e · outbound

This paper cites Hippodrome: Data race repair using static analysis summaries.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Hippodrome: Data race repair using static analysis summaries

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.657689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 562c312d-2d62-458a-b424-21f7570b841b · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.660563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07a13a77-5a3c-4b7d-aa1f-4516791f0ab2 · outbound

This paper cites ProGraML: Graph-based Deep Learning for Program Optimization and Analysis.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models ProGraML: Graph-based Deep Learning for Program Optimization and Analysis

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-10T15:19:36.206978Z

Source-reported events for the cited work

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

Observation 7af9b70d-5378-44fe-aedc-7e78c116cea8 · outbound

This paper cites A rule-based verification strategy for array manipulating programs.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models A rule-based verification strategy for array manipulating programs

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.667767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3525686a-5a49-4d8e-9d79-e59888315509 · outbound

This paper cites Satcheck: Sat-directed stateless model checking for sc and tso.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Satcheck: Sat-directed stateless model checking for sc and tso

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.671370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d451023e-554d-4ae0-91fb-e620048966b3 · outbound

This paper cites S., Peng, H., Y ang, C., and Zhang, L.Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models S., Peng, H., Y ang, C., and Zhang, L.Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.674835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d03b5344-ca1d-496f-948d-ab0bb67872d3 · outbound

This paper cites Vulngpt: Enhancing source code vulnerability detection using autogpt and adaptive supervision strategies.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Vulngpt: Enhancing source code vulnerability detection using autogpt and adaptive supervision strategies

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.677640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fdac77e-bcd0-4b2a-bdc3-5cb7996caac5 · outbound

This paper cites De-Hallucinator: Mitigating LLM Hallucinations in Code Generation Tasks via Iterative Grounding.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models De-Hallucinator: Mitigating LLM Hallucinations in Code Generation Tasks via Iterative Grounding

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.680343Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff367824-bce5-4502-96a5-d7b23a2ae581 · outbound

This paper cites Scientific Programming 2019, 1 (2019), 6230953.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Scientific Programming 2019, 1 (2019), 6230953

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.683485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5d8d11b-19c1-44c1-991c-42bb630903aa · outbound

This paper cites Automated Repair of Programs from Large Language Models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Automated Repair of Programs from Large Language Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.687067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcc044e3-4255-4774-80d6-51bbc55a2109 · outbound

This paper cites SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.691033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a9c765e-adbe-4568-b8e5-573b61cc967e · outbound

This paper cites R., Monteiro, F.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models R., Monteiro, F

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.694553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93a1c279-d278-426b-a95a-59f823d2aa46 · outbound

This paper cites Search-Based LLMs for Code Optimization.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Search-Based LLMs for Code Optimization

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.698355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 701e2ce9-c887-4932-995d-b70c13b8b021 · outbound

This paper cites Dynamic data race detection for openmp programs.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Dynamic data race detection for openmp programs

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.701811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 946b4cd6-7b00-4476-a22c-f4b61506012b · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.705614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f15e0813-3e76-476e-9d00-3fabe00f2243 · outbound

This paper cites Rule-based runtime verification revisited.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Rule-based runtime verification revisited

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.709395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 505ce280-4f67-4699-a845-9ccc07ddf9e1 · outbound

This paper cites J., and Devanbu, P.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models J., and Devanbu, P

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.713102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 941f28b5-9061-4994-9d03-b950160c81ee · outbound

This paper cites CigaR: Cost-efficient Program Repair with LLMs.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models CigaR: Cost-efficient Program Repair with LLMs

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.716217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b608141b-6268-4f06-b1c0-68d2aa2c103f · outbound

This paper cites Degpt: Optimizing decompiler output with llm.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Degpt: Optimizing decompiler output with llm

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.719525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fcfaf9b-dac5-463f-ac2a-8aadd4ea8ae6 · outbound

This paper cites Deep-autocoder: Learning to complete code precisely with induced code tokens.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Deep-autocoder: Learning to complete code precisely with induced code tokens

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.722426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6a2f165-418b-4457-80ee-4e675c99feaf · outbound

This paper cites In Proceedings of the 44th International Conference on Software Engineering (2022), pp.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models In Proceedings of the 44th International Conference on Software Engineering (2022), pp

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.725267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c83f4c58-5382-4e7d-982b-a69a5e5767fb · outbound

This paper cites Bird: Race detection in software binaries under relaxed memory models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Bird: Race detection in software binaries under relaxed memory models

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.728858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfd854ac-d755-4559-a352-c724ac28b4e1 · outbound

This paper cites Inferfix: End-to-end program repair with llms.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Inferfix: End-to-end program repair with llms

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.732456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a656cbde-f787-4196-9800-e7455d86680a · outbound

This paper cites Why don’t software developers use static analysis tools to find bugs? In 35th International Conference on Software Engineering (ICSE) (2013), IEEE, pp.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Why don’t software developers use static analysis tools to find bugs? In 35th International Conference on Software Engineering (ICSE) (2013), IEEE, pp

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.736280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31f528c6-f72b-4b59-895d-754178c124d4 · outbound

This paper cites C., Gulwani, S., Le, V., Verbruggen, G., and Radiček, I.Repair is nearly generation: Multilingual program repair with llms.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models C., Gulwani, S., Le, V., Verbruggen, G., and Radiček, I.Repair is nearly generation: Multilingual program repair with llms

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.720253Z

Source-reported events for the cited work

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

Observation 9e74c354-d10a-4928-bc39-9b1cba5152eb · outbound

This paper cites Verasco: a formally verified C static analyzer.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Verasco: a formally verified C static analyzer

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.711684Z

Source-reported events for the cited work

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

Observation 3d364708-4bba-4424-8c2f-43773ce2d238 · outbound

This paper cites (security) assertions by large language models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models (security) assertions by large language models

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.702574Z

Source-reported events for the cited work

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

Observation 16c7b915-7b18-4852-9c6a-c5e4294ab1ea · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:19:36.694013Z

Source-reported events for the cited work

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

Observation 84221209-da8d-4405-9f69-a79a6baf93c3 · outbound

This paper cites Dynamic symbolic verification of mpi programs.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Dynamic symbolic verification of mpi programs

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.685064Z

Source-reported events for the cited work

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

Observation 6c3128ad-3e05-432b-bfa2-ed574c45614a · outbound

This paper cites In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (2020), pp.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (2020), pp

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.675734Z

Source-reported events for the cited work

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

Observation c2e23a6d-72bd-46f7-bcf8-b3ab807b13a7 · outbound

This paper cites D., Savarese, S., and Hoi, S.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models D., Savarese, S., and Hoi, S

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.666296Z

Source-reported events for the cited work

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

Observation 47b3a0ce-0591-4000-a57a-83abab74477c · outbound

This paper cites Improved code summarization via a graph neural network.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Improved code summarization via a graph neural network

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.657684Z

Source-reported events for the cited work

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

Observation 4115a1e2-d77b-4172-ac6e-1f7b0f8f65a9 · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 56

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:19:36.648165Z

Source-reported events for the cited work

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

Observation 581049ff-c02f-4ac6-ba16-26eff5917657 · outbound

This paper cites Enhancing static analysis for practical bug detection: An llm-integrated approach.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Enhancing static analysis for practical bug detection: An llm-integrated approach

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.639535Z

Source-reported events for the cited work

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

Observation c273f841-bb13-412b-b984-6a25dd33ef0c · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 58

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:19:36.631054Z

Source-reported events for the cited work

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

Observation d2b60c19-5ee6-4c60-b1fe-2e2ba52a4012 · outbound

This paper cites IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.777669Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8faec22-baa4-4cf4-850f-5f8245c17fb9 · outbound

This paper cites CodeMind: Evaluating Large Language Models for Code Reasoning.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models CodeMind: Evaluating Large Language Models for Code Reasoning

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.780993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ae4801d-2f0c-46fb-abe0-0a21b231e45a · outbound

This paper cites STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.784202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f67724b4-bfd9-4955-9dac-68a8d7dd4bd1 · outbound

This paper cites Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.621729Z

Source-reported events for the cited work

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

Observation 8561b2e7-fb6d-4047-b59a-bbc745bf1f56 · outbound

This paper cites Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.791315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8156b3f0-dfd5-49cb-b4ff-64c84ad7b13a · outbound

This paper cites S., W ang, Y., and Zhang, L.Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models S., W ang, Y., and Zhang, L.Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.613107Z

Source-reported events for the cited work

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

Observation 57b4484d-11ae-4234-b74f-185cfb6275be · outbound

This paper cites Deepstate: selecting test suites to enhance the robustness of recurrent neural networks.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Deepstate: selecting test suites to enhance the robustness of recurrent neural networks

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.603438Z

Source-reported events for the cited work

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

Observation ecdb6147-ef0b-455f-8c3b-ccd2d9387abc · outbound

This paper cites Grace: Empowering llm-based software vulnerability detection with graph structure and in-context learning.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Grace: Empowering llm-based software vulnerability detection with graph structure and in-context learning

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.594139Z

Source-reported events for the cited work

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

Observation c404c8d3-ac07-40f9-a3d2-154fe0ba9307 · outbound

This paper cites AutoParLLM: GNN-guided Context Generation for Zero-Shot Code Parallelization using LLMs.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models AutoParLLM: GNN-guided Context Generation for Zero-Shot Code Parallelization using LLMs

Reference 67

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T15:19:36.111188Z

Source-reported events for the cited work

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

Observation 76d7a8ee-dc3a-49a0-80a7-c4388d146bfd · outbound

This paper cites S.Dynamic verification for hybrid concurrent programming models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models S.Dynamic verification for hybrid concurrent programming models

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.585567Z

Source-reported events for the cited work

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

Observation 107e1eb4-890f-4207-9d02-ba75a04fe589 · outbound

This paper cites Lost in Translation: Large Language Models in Non-English Content Analysis.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Lost in Translation: Large Language Models in Non-English Content Analysis

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.814190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8036e38-6abc-4cb2-a0a6-79e8808b7c73 · outbound

This paper cites H., Xie, Z., Rajaram, A., and Bhatele, A.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models H., Xie, Z., Rajaram, A., and Bhatele, A

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.575711Z

Source-reported events for the cited work

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

Observation 173ad2d8-0134-4652-bcba-db23388dc24f · outbound

This paper cites HPC-Coder: Modeling Parallel Programs using Large Language Models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models HPC-Coder: Modeling Parallel Programs using Large Language Models

Reference 71

Resolution: verified exact; local_arxiv, observed 2026-08-10T15:19:36.089868Z

Source-reported events for the cited work

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

Observation 9b54e428-cc9b-4fd0-9ccc-ce87f0506bef · outbound

This paper cites Cdschecker: checking concurrent data structures written with c/c++ atomics.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Cdschecker: checking concurrent data structures written with c/c++ atomics

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.567476Z

Source-reported events for the cited work

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

Observation 3241a408-919f-4dcd-bdbb-ceb79f10c17e · outbound

This paper cites Fuzzing BusyBox: Leveraging LLM and Crash Reuse for Embedded Bug Unearthing.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Fuzzing BusyBox: Leveraging LLM and Crash Reuse for Embedded Bug Unearthing

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.829240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dda9adc-0cc0-4e13-acc1-abff394d8a6e · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:19:36.558008Z

Source-reported events for the cited work

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

Observation fa001218-54e3-46c3-acc9-8d6eb57ce678 · outbound

This paper cites Vulnerabilities introduced by llms through code suggestions.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Vulnerabilities introduced by llms through code suggestions

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.549381Z

Source-reported events for the cited work

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

Observation 7943e30c-08ae-474d-ae4c-a810a1621e47 · outbound

This paper cites Examining zero-shot vulnerability repair with large language models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Examining zero-shot vulnerability repair with large language models

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.540861Z

Source-reported events for the cited work

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

Observation fd4e26c2-9bab-4c6d-bd84-8e0db433ae7b · outbound

This paper cites Examining zero-shot vulnerability repair with large language models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Examining zero-shot vulnerability repair with large language models

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.531377Z

Source-reported events for the cited work

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

Observation c7f2c7fe-fdc3-4d1e-a9f9-3e4f2f4090a7 · outbound

This paper cites V., Le Nguyen, M., and Bui, L.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models V., Le Nguyen, M., and Bui, L

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.521744Z

Source-reported events for the cited work

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

Observation 3a6b09f0-df35-460a-8a2f-82b5e91d4298 · outbound

This paper cites an unresolved cited work.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Unresolved cited work

Reference 79

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:19:36.513106Z

Source-reported events for the cited work

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

Observation 5f40fa76-2d8d-4cab-8539-09d7327d2d9a · outbound

This paper cites A., and Engler, D.{Under-Constrained} symbolic execution: Correctness checking for real code.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models A., and Engler, D.{Under-Constrained} symbolic execution: Correctness checking for real code

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.503541Z

Source-reported events for the cited work

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

Observation 149b474e-8d24-44ad-8c86-d244fa708ea9 · outbound

This paper cites A., Kadosh, T., Krien, N., Capota, M., Tamir, G., Willke, T.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models A., Kadosh, T., Krien, N., Capota, M., Tamir, G., Willke, T

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.494781Z

Source-reported events for the cited work

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

Observation 45ef7527-a2f1-4f89-a663-f6c0e1da3e5d · outbound

This paper cites Gpt-4 architecture, datasets, costs and more leaked.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Gpt-4 architecture, datasets, costs and more leaked

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.485077Z

Source-reported events for the cited work

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

Observation 8f897a52-259e-4109-bcad-fe1bd407dec4 · outbound

This paper cites Dlpaper2code: Auto-generation of code from deep learning research papers.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Dlpaper2code: Auto-generation of code from deep learning research papers

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.475304Z

Source-reported events for the cited work

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

Observation e519fead-c8d8-49f8-ba00-8a01f53133b3 · outbound

This paper cites Openai api pricing 2024: Understanding gpt-3 pricing in-depth.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Openai api pricing 2024: Understanding gpt-3 pricing in-depth

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.466818Z

Source-reported events for the cited work

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

Observation 6958f9fa-ed23-4c21-a262-1682766b89eb · outbound

This paper cites Dynamic verification of c11 concurrency over multi copy atomics.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Dynamic verification of c11 concurrency over multi copy atomics

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.457154Z

Source-reported events for the cited work

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

Observation 8126a999-435d-4f80-aecd-df8177a5e9fa · outbound

This paper cites U., Ramamurthy, K.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models U., Ramamurthy, K

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.447505Z

Source-reported events for the cited work

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

Observation 24714733-f679-4b1a-8a62-f6b6d494e0d6 · outbound

This paper cites Pythia: Ai-assisted code completion system.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Pythia: Ai-assisted code completion system

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.439254Z

Source-reported events for the cited work

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

Observation 73a30504-eebc-45a7-a7e4-613865b2c13d · outbound

This paper cites LLM4Decompile: Decompiling Binary Code with Large Language Models.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models LLM4Decompile: Decompiling Binary Code with Large Language Models

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.882604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b89f46b5-c683-4887-9799-7205da7ccf24 · outbound

This paper cites DeepRace: Finding Data Race Bugs via Deep Learning.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models DeepRace: Finding Data Race Bugs via Deep Learning

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.886358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68d00a36-bfba-4819-9b5a-00fcfeefac98 · outbound

This paper cites A., Zhang, M., Mathur, U., and Viswanathan, M.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models A., Zhang, M., Mathur, U., and Viswanathan, M

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.430913Z

Source-reported events for the cited work

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

Observation a557e782-0a01-44bc-8660-9ac4ec048cb8 · outbound

This paper cites Is ChatGPT the Ultimate Programming Assistant -- How far is it?.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Is ChatGPT the Ultimate Programming Assistant -- How far is it?

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.893597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab9b3f6d-d5b1-468d-a483-144edefcfb86 · outbound

This paper cites SynCode: LLM Generation with Grammar Augmentation.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models SynCode: LLM Generation with Grammar Augmentation

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.897546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2af1f4d2-c505-4c59-819f-fa9a9d2eba78 · outbound

This paper cites Llms cannot reliably identify and reason about security vulnerabilities (yet?): A comprehensive evaluation, framework, and benchmarks.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Llms cannot reliably identify and reason about security vulnerabilities (yet?): A comprehensive evaluation, framework, and benchmarks

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.421639Z

Source-reported events for the cited work

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

Observation db5fb080-2f3d-4b77-8573-ec2e2c488a03 · outbound

This paper cites Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.905041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e67bace-5440-4656-8a14-ed30c2ccc058 · outbound

This paper cites IEEE Transactions on Services Computing 15, 3 (2020), 1649–1663.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models IEEE Transactions on Services Computing 15, 3 (2020), 1649–1663

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.412039Z

Source-reported events for the cited work

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

Observation 1fcf131f-d1a5-4e1f-9438-1965d83f437a · outbound

This paper cites IEEE Transactions on Software Engineering (2024).

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models IEEE Transactions on Software Engineering (2024)

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.403486Z

Source-reported events for the cited work

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

Observation 5e496b80-1986-40b4-b1ef-3721b74c6c41 · outbound

This paper cites N., W ang, S., Li, Y., Zhang, J., and Y adavally, A.Deepvd: Toward class-separation features for neural network vulnerability detection.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models N., W ang, S., Li, Y., Zhang, J., and Y adavally, A.Deepvd: Toward class-separation features for neural network vulnerability detection

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.394176Z

Source-reported events for the cited work

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

Observation d4357598-66a9-4091-9817-c5519bd1d4db · outbound

This paper cites Compilable Neural Code Generation with Compiler Feedback.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Compilable Neural Code Generation with Compiler Feedback

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.920369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05e2369e-cfc2-4ca2-8fd2-2105194c0169 · outbound

This paper cites Complex & Intelligent Systems 9 , 4 (2023), 3835–3855.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models Complex & Intelligent Systems 9 , 4 (2023), 3835–3855

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.385411Z

Source-reported events for the cited work

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

Observation 493fadbd-3d56-4283-8e51-c000741731ce · outbound

This paper cites S., and Zhang, L.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models S., and Zhang, L

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:19:36.376079Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers