Simplifying Execution Traces

Date
Tags concurrency, dejafu, haskell, programming, research
Target Audience People interested in the dejafu internals.
Epistemic Status This is describing the current state of a wip branch, which may yet be changed.

Using Hedgehog to Test Déjà Fu

Date
Tags concurrency, dejafu, haskell, hedgehog, programming, property-based testing
Target Audience People interested in dejafu or in property-based testing.
Attention Conservation Notice There is a fairly long preamble before I get to the Hedgehog stuff, which you can jump to directly if you don't really care about how the Déjà Fu side of this works.

100 Prisoners

Date
Tags concurrency, dejafu, haskell, programming
Target Audience Mostly me.
Attention Conservation Notice There's a more polished version of this in my thesis, go read that instead.

Writing a Concurrency Testing Library (Part 2): Exceptions

Date
Tags concurrency, dejafu, haskell, minifu, programming
Target Audience Haskell programmers.
Epistemic Status This is building up to a simplified form of dejafu, which is based on published research.
Attention Conservation Notice Still no fancy testing.

Writing a Concurrency Testing Library (Part 1)

Date
Tags concurrency, dejafu, haskell, minifu, programming
Target Audience Haskell programmers.
Epistemic Status This is building up to a simplified form of dejafu, which is based on published research.
Attention Conservation Notice This is setting up the basic types and functions we'll need, no fancy testing in this post.

A Multithreaded Runtime for Deja Fu

Date
Tags concurrency, dejafu, haskell, programming, research
Target Audience People interested in the dejafu internals.
Epistemic Status This isn't actually the implementation dejafu uses now, but it's close enough (and simple enough) to help understanding.

Systematic Concurrency Testing and Daemon Threads

Date
Tags concurrency, programming, research
Target Audience Mostly me, & possibly concurrency testing nerds.
Epistemic Status I guess it's possible I've misunderstood every paper on concurrency testing I've read and they actually do address this topic.
Attention Conservation Notice There's a subtlety in partial-order techniques when daemon threads are involved which has caught me out a couple of times.

Reducing Combinatorial Explosion

Date
Tags concurrency, programming, research
Target Audience Mostly me, & possibly concurrency testing nerds.
Epistemic Status Summarises existing research.