James Smith (University of Wisconsin)
ECE 902: Special Topics in Computers
Virtual Machine Architectures, Implementations, and Applications.
(I found a lot of papers through the
readings
list for this course.)
Reinhard Wilhelm and Helmut Seidl
Virtual Machines in Compiler Construction
They look at compiling functional languages to byte codes.
(We did not cover compiling to byte code.)