My hunch is now that the 'interesting' parts of PLINQ are done and it's mostly perf and bug squashing that Joe's onto the Next Thing. Given some of his recently blog posting one wonders if he isn't looking at Type System support for concurrency and notions of mutability.