Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, San Diego, California, USA, June 12, 2003 - researchr publication

researchr

You are not signed in
Sign in
Sign up

David Gregg, M. Anton Ertl, editors, Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, San Diego, California, USA, June 12, 2003. ACM, 2003. [doi]

Conference: ivme2003

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]

runs on WebDSL