barrucadu's memos - Research (Deja Fu / CoCo)

Atom feed for Research (Deja Fu / CoCo) or for all memos.

Back to Research.

  1. It's not a no-op to unmask an interruptible operation (and dejafu detects this)
  2. dejafu-2.0.0.0
  3. Simplifying Execution Traces
  4. Using Hedgehog to Test Déjà Fu
  5. 100 Prisoners
  6. Writing a Concurrency Testing Library (Part 2): Exceptions
  7. Writing a Concurrency Testing Library (Part 1)
  8. A Multithreaded Runtime for Deja Fu
  9. Improving Performance by Discarding Traces
  10. Property-testing Side Effects
  11. Implementing Polymorphism
  12. Mixing and Matching Variables
  13. Generating Typed Expressions
  14. Representation & Evaluation of Typed Expressions
  15. Systematic Concurrency Testing and Daemon Threads
  16. Concurrency and Typeclass Laws
  17. dejafu-0.1.0.0
  18. Reducing Combinatorial Explosion