interesting guest lecture on solving concurrency bugs by constraining thread interleavings to a tested subset. and there were free cookies.
interesting guest lecture on solving concurrency bugs by constraining thread interleavings to a tested subset. and there were free cookies.