Engineering a customizable intermediate representation

Authors:
K. Palacz;J. Baker;C. Flack;C. Grothoff;H. Yamauchi;J. Vitek
Affiliations:
Purdue University;Purdue University;Purdue University;Purdue University;Purdue University;Purdue University
Venue:
Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Year:
2003

Citing 12
Cited 10

Control-flow analysis of higher-order languages of taming lambda

Control-flow analysis of higher-order languages of taming lambda
A tractable Scheme implementation

Lisp and Symbolic Computation
The Jalapeño dynamic optimizing compiler for Java

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Encapsulating objects with confined types

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java Virtual Machine Specification

Java Virtual Machine Specification
Proceedings of the 16th European Conference on Object-Oriented Programming

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Type-Safe Method Inlining

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Atomic Instructions in Java

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Building an Interpreter with Vmgen

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Joeq: a virtual machine and compiler infrastructure

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Effective inline-threaded interpretation of Java bytecode using preparation sequences

CC'03 Proceedings of the 12th international conference on Compiler construction

Joeq: a virtual machine and compiler infrastructure

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Oil and Water? High Performance Garbage Collection in Java with MMTk

Proceedings of the 26th International Conference on Software Engineering
Pluggable verification modules: an extensible protection mechanism for the JVM

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
PolyD: a flexible dispatching framework

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The squawk virtual machine: Java™ on the bare metal

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java™ on the bare metal of wireless sensor devices: the squawk Java virtual machine

Proceedings of the 2nd international conference on Virtual execution environments
Joeq: a virtual machine and compiler infrastructure

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
Analyzing the performance of code-copying virtual machines

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
The Runabout

Software—Practice & Experience
@J: towards rapid development of dynamic analysis tools for the Java Virtual Machine

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Ovm framework is a set of tools and components for building language runtimes. We present the intermediate representation and software design patterns used throughout the framework. One of the main themes in this work has been to support experimentation with new linguistic constructs and implementation techniques. To this end, framework components were designed to be parametric with respect to the instruction set on which they operate. We argue that our approach eases the task of writing new components without sacrificing efficiency.