the sticky mark-bit algorithm
parallel ephemeron tracing
whippet: towards a new local maximum
a negative result