"Structured Programming with GOTO Statements" (Knuth)

This excerpt has been appeared in many news featured on YC, but I think it deserves its own thread. In the beginning there's discussion about the performance penalties of dropping GOTOs. However, in the second part there are a few proposed solutions like event-driven loops (no, it's not what you think). Furthermore, he talks about the possibility of optimizing your code by transforming source code into optimized code in the same source language. Are there some notable implementations of the things he talked about?