Paper Citation Record · LEDGER

Revisiting Stateful Partial-Order Reduction

As of 13 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2411.16921.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.16921 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T13:01:20.347623Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact0
verified fuzzy42
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation eb817f3a-bf5e-472d-aeec-146df3fc720c · outbound

This paper cites Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.

Revisiting Stateful Partial-Order Reduction Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.794596Z

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 326b180c-4c89-43fe-a50e-16f34d292d54 · outbound

This paper cites Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.

Revisiting Stateful Partial-Order Reduction Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.784727Z

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 26690a0d-339f-40cc-a40f-8a6535deb21e · outbound

This paper cites Parsimonious Optimal Dynamic Partial Order Reduction.

Revisiting Stateful Partial-Order Reduction Parsimonious Optimal Dynamic Partial Order Reduction

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.774774Z

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 ba559433-1e20-48c9-aad6-b8dbc8efb878 · outbound

This paper cites Optimal stateless model checking for reads-from equiva- lence under sequential consistency.

Revisiting Stateful Partial-Order Reduction Optimal stateless model checking for reads-from equiva- lence under sequential consistency

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.764472Z

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 219b2a78-6a78-4e09-bb61-cb6a607667b5 · outbound

This paper cites Stateless Model Checking Under a Reads-Value-From Equivalence.

Revisiting Stateful Partial-Order Reduction Stateless Model Checking Under a Reads-Value-From Equivalence

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.754489Z

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 490a8bcf-e9b9-43e1-a508-6d090dc162f4 · outbound

This paper cites Optimal dynamic partial order reduction with context-sensitive indepen- dence and observers.

Revisiting Stateful Partial-Order Reduction Optimal dynamic partial order reduction with context-sensitive indepen- dence and observers

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.744744Z

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 8e4005bc-3a50-40a0-802f-09cce38db63e · outbound

This paper cites Data-centric dynamic partial order reduction.

Revisiting Stateful Partial-Order Reduction Data-centric dynamic partial order reduction

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.734589Z

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 353d0fec-5e74-4f1e-bf4d-8cefa32b59ed · outbound

This paper cites A Pragmatic Approach to Stateful Partial Order Reduction.

Revisiting Stateful Partial-Order Reduction A Pragmatic Approach to Stateful Partial Order Reduction

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.724585Z

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 a631ef98-24b6-4f82-8732-722f172e557c · outbound

This paper cites Quasi-optimal partial order reduction.

Revisiting Stateful Partial-Order Reduction Quasi-optimal partial order reduction

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.714779Z

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 92f3ceb5-2d9b-4eae-9d5a-eec15a7b518a · outbound

This paper cites De Boer, Marcello Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, S.

Revisiting Stateful Partial-Order Reduction De Boer, Marcello Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, S

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.704991Z

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 0060b67f-a016-47ce-95f0-57428625bdce · outbound

This paper cites Commutativity in Automated Verification.

Revisiting Stateful Partial-Order Reduction Commutativity in Automated Verification

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.695173Z

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 eb9c60bb-618b-48c9-bc08-6669837aa06a · outbound

This paper cites Sound sequentialization for concurrent program verification.

Revisiting Stateful Partial-Order Reduction Sound sequentialization for concurrent program verification

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.685255Z

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 e322087c-bc06-4a54-86cd-6d7a103cac19 · outbound

This paper cites Stratified Commutativity in Verification Algorithms for Concurrent Programs.

Revisiting Stateful Partial-Order Reduction Stratified Commutativity in Verification Algorithms for Concurrent Programs

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.675087Z

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 2462f98f-4221-40a9-a5ed-47ed6527d1e3 · outbound

This paper cites Dynamic Partial-Order Reduction for Model Checking Software.

Revisiting Stateful Partial-Order Reduction Dynamic Partial-Order Reduction for Model Checking Software

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.665506Z

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 346d25bb-f002-468e-9fd7-d432199a45c7 · outbound

This paper cites Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem.

Revisiting Stateful Partial-Order Reduction Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.655204Z

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 085a1142-d8a8-45c8-b45d-4a68821053de · outbound

This paper cites Using partial orders to improve automatic verification methods.

Revisiting Stateful Partial-Order Reduction Using partial orders to improve automatic verification methods

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.645068Z

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 8d95f588-98ef-4323-a51a-ca4195b05ea2 · outbound

This paper cites Govind, Fr´ ed´ eric Herbreteau, Srivathsan, and Igor Walukiewicz.

Revisiting Stateful Partial-Order Reduction Govind, Fr´ ed´ eric Herbreteau, Srivathsan, and Igor Walukiewicz

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.635754Z

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 4893059b-1e1b-41e0-bd97-898af35750b2 · outbound

This paper cites Thread modularity at many levels: A pearl in compositional verification.

Revisiting Stateful Partial-Order Reduction Thread modularity at many levels: A pearl in compositional verification

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.626538Z

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 98f83437-f35f-4706-a713-aa3b6f206a91 · outbound

This paper cites Jensen, Anders Moller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev.

Revisiting Stateful Partial-Order Reduction Jensen, Anders Moller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.617324Z

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 af0af61c-2243-496e-9206-9d278e4a2207 · outbound

This paper cites Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing Happens.

Revisiting Stateful Partial-Order Reduction Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing Happens

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.607493Z

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 e1466552-4c6b-4665-ae9d-16312e6d6b1b · outbound

This paper cites Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.

Revisiting Stateful Partial-Order Reduction Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.597753Z

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 8c726891-b7fd-4cf9-ad68-c61394f661bb · outbound

This paper cites Verification of distributed programs using representative interleaving sequences.

Revisiting Stateful Partial-Order Reduction Verification of distributed programs using representative interleaving sequences

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.587702Z

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 40685dbb-9c5f-4682-972c-64765611e733 · outbound

This paper cites Enhancing GenMC’s Usability and Performance.

Revisiting Stateful Partial-Order Reduction Enhancing GenMC’s Usability and Performance

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.577963Z

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 8a5e0acf-d76e-4d98-96d5-d63f9a876867 · outbound

This paper cites Truly stateless, optimal dynamic partial order reduction.

Revisiting Stateful Partial-Order Reduction Truly stateless, optimal dynamic partial order reduction

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.568460Z

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 eb008ec8-99d5-41e8-bbd4-b95b8b91b3d1 · outbound

This paper cites Unblocking Dynamic Partial Order Reduction.

Revisiting Stateful Partial-Order Reduction Unblocking Dynamic Partial Order Reduction

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.558423Z

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 5b2085a9-bcc5-495e-80a1-1bb1575ca771 · outbound

This paper cites Model checking for weakly consistent libraries.

Revisiting Stateful Partial-Order Reduction Model checking for weakly consistent libraries

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.548408Z

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 0e7e2cfd-6e90-46ec-be06-3d06ecdc3d0a · outbound

This paper cites BAM: Efficient Model Checking for Barriers.

Revisiting Stateful Partial-Order Reduction BAM: Efficient Model Checking for Barriers

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.538744Z

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 c1af8f51-3426-4f37-8500-e4124e998ad3 · outbound

This paper cites Partial Order Reduction for Event-Driven Multi-threaded Programs.

Revisiting Stateful Partial-Order Reduction Partial Order Reduction for Event-Driven Multi-threaded Programs

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.528687Z

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 05693fbf-e099-4c42-89ec-c37d442395d6 · outbound

This paper cites Mazurkiewicz.

Revisiting Stateful Partial-Order Reduction Mazurkiewicz

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.518721Z

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 d6593cf3-f448-40d3-bd80-c5a5c956a1bb · outbound

This paper cites Trace aware random testing for distributed systems.

Revisiting Stateful Partial-Order Reduction Trace aware random testing for distributed systems

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.509056Z

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 a7bb6393-2811-4f2c-9a45-bdb86808a787 · outbound

This paper cites Partial-order reduction.

Revisiting Stateful Partial-Order Reduction Partial-order reduction

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.499551Z

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 751bfdb0-9550-49b2-a364-cd9b4d0f717a · outbound

This paper cites Peterson.

Revisiting Stateful Partial-Order Reduction Peterson

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.490836Z

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 06073080-d637-4cb8-86f7-ce530a154ad3 · outbound

This paper cites Efficient State-Space Exploration for Asynchronous Distributed Pro- grams: Adapting Unfolding-Based Dynamic Partial Order Reduction to MPI Programs.

Revisiting Stateful Partial-Order Reduction Efficient State-Space Exploration for Asynchronous Distributed Pro- grams: Adapting Unfolding-Based Dynamic Partial Order Reduction to MPI Programs

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.481823Z

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 fadfbaf7-233b-4eb0-aedc-7e9cee9f0bdf · outbound

This paper cites Unfolding-based Partial Order Reduction.

Revisiting Stateful Partial-Order Reduction Unfolding-based Partial Order Reduction

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.471536Z

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 061b5c8a-ecb9-404c-a514-8c02d6dad8ed · outbound

This paper cites Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, and Gul Agha.

Revisiting Stateful Partial-Order Reduction Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, and Gul Agha

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.461958Z

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 32c3b8d7-1d2c-4e65-9ed4-c6d2ddc218e6 · outbound

This paper cites A State Space Tool for Concurrent System Models Expressed In C++.

Revisiting Stateful Partial-Order Reduction A State Space Tool for Concurrent System Models Expressed In C++

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.452034Z

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 372c70e0-db01-4db7-b073-023f9b31c521 · outbound

This paper cites Stubborn sets for reduced state space generation.

Revisiting Stateful Partial-Order Reduction Stubborn sets for reduced state space generation

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.441878Z

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 b2c677c7-e6af-477f-be63-baa7d991bd8b · outbound

This paper cites The state explosion problem.

Revisiting Stateful Partial-Order Reduction The state explosion problem

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.431575Z

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 3ab722a5-ee96-45df-8dad-82e312bac537 · outbound

This paper cites Stop It, and Be Stubborn! ACM Transactions on Embedded Computing Systems, 16(2):1–26, 2017.

Revisiting Stateful Partial-Order Reduction Stop It, and Be Stubborn! ACM Transactions on Embedded Computing Systems, 16(2):1–26, 2017

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.420026Z

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 b08f4ec5-5648-4823-acde-a40d80ce1feb · outbound

This paper cites Stubborn Set Intuition Explained.

Revisiting Stateful Partial-Order Reduction Stubborn Set Intuition Explained

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.409298Z

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 663c3378-0bf0-4823-8d01-03c36ffda640 · outbound

This paper cites Verifying multi-threaded software with impact.

Revisiting Stateful Partial-Order Reduction Verifying multi-threaded software with impact

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.399222Z

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 7a28a6fa-c350-4004-8638-f4440dff550c · outbound

This paper cites Peephole Partial Order Reduction.

Revisiting Stateful Partial-Order Reduction Peephole Partial Order Reduction

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:01:20.388780Z

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 2cc1cc01-31b7-4151-b879-a2e149618532 · outbound

This paper cites an unresolved cited work.

Revisiting Stateful Partial-Order Reduction Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:01:20.377582Z

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.

Pith citing papers

No inbound Pith citation observations are available.