Interesting Research

Date
Tags research
Target Audience Computer science people.

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.

Do Developers Update Their Library Dependencies?

Date
Tags esec, fse, paper summary, research
Target Audience Computer science people.

The Academic Mindset and Me

Date
Tags life, research
Target Audience Computer science postgrads who are a little fed up.
Epistemic Status A rant.
Attention Conservation Notice I was coming out of a bad place when I wrote this.

Why Do Developers Use Trivial Packages?

Date
Tags esec, fse, paper summary, research
Target Audience Computer science people.

How to Break an API

Date
Tags esec, fse, paper summary, research
Target Audience Computer science people.

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.

Implementing Polymorphism

Date
Tags coco, haskell, programming, research, type checking
Target Audience Haskell programmers.
Epistemic Status I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

Mixing and Matching Variables

Date
Tags coco, haskell, programming, research
Target Audience Haskell programmers.
Epistemic Status I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

Generating Typed Expressions

Date
Tags coco, code generation, haskell, programming, research
Target Audience Haskell programmers.
Epistemic Status I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

Representation & Evaluation of Typed Expressions

Date
Tags coco, programming, research
Target Audience Haskell programmers.
Epistemic Status I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

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.