Some Shortcomings of, and Possible Improvements to, the Java Virtual Machine

Whilst working on MLJ, an optimizing compiler for Standard ML which emits Java bytecodes, we inevitably discovered a number of irksome, inefficient or ugly aspects of the JVM design, and of its implementations. This short note attempts to summarize just a few of these flaws.