Abstract is missing.
- Embedding an interpreted language using higher-order functions and typesNorman Ramsey. 6-14 [doi]
- Executable JVM model for analytical reasoning: a studyHanbing Liu, J. Strother Moore. 15-23 [doi]
- A portable Virtual Machine target for Proof-Carrying CodeMichael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, FermÃn Reig, Ning Wang. 24-31 [doi]
- Generation of fast interpreters for Huffman compressed bytecodeMario Latendresse, Marc Feeley. 32-40 [doi]
- The case for virtual register machinesBrian Davis, Andrew Beatty, Kevin Casey, David Gregg, John Waldron. 41-49 [doi]
- Dynamic native optimization of interpretersGregory T. Sullivan, Derek Bruening, Iris Baron, Timothy Garnett, Saman P. Amarasinghe. 50-57 [doi]
- Joeq: a virtual machine and compiler infrastructureJohn Whaley. 58-66 [doi]
- Engineering a customizable intermediate representationKrzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek. 67-76 [doi]