I got clearance today to go ahead and blog about the various thesis topics that I have contemplated but have subsequently been rejected for various reasons (usually because of the lack of novelty).
To start off posts of this nature, I present to you the idea of a web assembly language. This came to me while thinking about justifications of bringing Python to the browser.
In the end, though, we rejected the idea. There is nothing explicitly wrong with targetting JS; I just don't like targeting such a high-level language. Practically it would destroy the readability of web source. It also seemed like Flash is kind of the unofficial assembly language. There is also Tamarin on the way which could expose its bytecode. Hell, I could just move over Java's or .NET's bytecode and use that somehow as they already do verification at some level.
And browser compatibility would be an issue as well. What if IE and Mozilla implemented a single opcode differently? That could be much more disastrous than the incompatibilities we have now.
So this idea got dropped. I still would not mind seeing this happen some day, but it won't be me for my Ph.D. thesis.