corpus.blog
41,554 blogs · 5,063,431 posts Claim your blog
Record · corpus.blog/posts/01a087e6-0500-723d-8da3-9aa1ab181f0b

Parallel property-based testing with a deterministic thread scheduler

stevana.github.io · published 7 August 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at stevana.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
20
Words captured
8,511

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.cse.chalmers.se/~nicsma/papers/finding-race-conditions.pdf
cse.chalmers.se
http://quviq.com/documentation/pulse/index.html
quviq.com
https://github.com/advancedtelematic/quickcheck-state-machine-distributed
github.com
https://matklad.github.io/2024/07/05/properly-testing-concurrent-data-structures.html
matklad.github.io
https://cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf
cs.brown.edu
https://en.wikipedia.org/wiki/Race_condition
en.wikipedia.org
https://en.wikipedia.org/wiki/Busy_waiting
en.wikipedia.org
https://en.wikipedia.org/wiki/Software_transactional_memory
en.wikipedia.org
https://github.com/Bodigrim/smallcheck
github.com
https://github.com/barrucadu/dejafu
github.com
https://www.youtube.com/watch?v=ytNlefY8PIE
youtube.com
https://github.com/facebookexperimental/hermit
github.com
So you think you want to write a deterministic hypervisor? Read at the source ↗
antithesis.com
https://publications.lib.chalmers.se/records/fulltext/232551/local_232551.pdf
publications.lib.chalmers.se
https://github.com/real-logic/aeron/wiki/Data-Structures
github.com
https://martinfowler.com/bliki/TestDouble.html
martinfowler.com
https://aphyr.com/posts/314-computational-techniques-in-knossos
aphyr.com
https://jepsen.io/analyses
jepsen.io
https://github.com/jepsen-io/elle
github.com
https://github.com/jepsen-io/elle/raw/master/paper/elle.pdf
github.com
Elsewhere on stevana.github.io (2)