


default search action
IVME 2003: San Diego, CA, USA
- David Gregg, M. Anton Ertl:
Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, San Diego, California, USA, June 12, 2003. ACM 2003, ISBN 978-1-58113-655-5 - Norman Ramsey:
Embedding an interpreted language using higher-order functions and types. 6-14 - Hanbing Liu, J Strother Moore:
Executable JVM model for analytical reasoning: a study. 15-23 - Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang:
A portable Virtual Machine target for Proof-Carrying Code. 24-31 - Mario Latendresse, Marc Feeley:
Generation of fast interpreters for Huffman compressed bytecode. 32-40 - Brian Davis, Andrew Beatty, Kevin Casey, David Gregg, John Waldron:
The case for virtual register machines. 41-49 - Gregory T. Sullivan, Derek Bruening, Iris Baron, Timothy Garnett, Saman P. Amarasinghe
:
Dynamic native optimization of interpreters. 50-57 - John Whaley:
Joeq: a virtual machine and compiler infrastructure. 58-66 - Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek:
Engineering a customizable intermediate representation. 67-76

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.