barrucadu's memos - Research

Atom feed for Research or for all memos.

Restrict to Deja Fu / CoCo Summaries.

Back to all memos.

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