Oh boy. I'll put that down for my "thing I don't think I wanted to know" of the day.
[0] Mentioned (but not directly linked) by TFA:
https://www.usenix.org/conference/usenixsecurity15/technical...
Edit: ok, I'm guessing it's a joke about Turing completeness. Loops, you know.