Unresolvable Identifier

arXiv:2605.07758 · detector doi_compliance · cross_source · 2026-05-19 11:33:32.424601+00:00

critical doi_compliance unresolvable_identifier

Identifier '10.1145/3808318' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.

Paper page Integrity report arXiv Try DOI

Evidence text

Suárez Acevedo, E., Ferreira, T., Batz, K., Bøving, O., Foster, N., Silva, A.: Weighted NetKAT: A programming language for quantitative network verifica- tion. Proceedings of the ACM on Programming Languages10(PLDI) (Jun 2026). https://doi.org/10.1145/3808318

Evidence payload

{
  "arxiv_id": null,
  "checked_sources": [
    "crossref_by_doi",
    "openalex_by_doi",
    "doi_org_head"
  ],
  "doi": "10.1145/3808318",
  "raw_excerpt": "Su\u00e1rez Acevedo, E., Ferreira, T., Batz, K., B\u00f8ving, O., Foster, N., Silva, A.: Weighted NetKAT: A programming language for quantitative network verifica- tion. Proceedings of the ACM on Programming Languages10(PLDI) (Jun 2026). https://doi.org/10.1145/3808318",
  "ref_index": 34,
  "verdict_class": "cross_source"
}