Nevertheless I was intrigued by his code.
I think the right wording is that a BSOD is issued by the kernel. A program running in software-mode can be responsible for a BSOD if it makes a call the kernel internals that generate an unrecoverable error.
His code is illustrative. It tries to incorrectly set the new process token (I suspect it crashes right in the system call, not in p.Kill). And it's a clear example of a program generating a BSOD.
