Comment by SupLockDef

In their first article of the series:

>I’m not a kernel expert—I’m learning out loud. The goal here isn’t a deep [...]

So I think it's safe to say they didn't contributed to the Linux kernel.