Engineering a common intermediate representation for the Ovm framework

Authors:
K. Palacz;J. Baker;C. Flack;C. Grothoff;H. Yamauchi;J. Vitek
Affiliations:
S3 lab, Department of Computer Sciences, Purdue University;S3 lab, Department of Computer Sciences, Purdue University;S3 lab, Department of Computer Sciences, Purdue University;S3 lab, Department of Computer Sciences, Purdue University;S3 lab, Department of Computer Sciences, Purdue University;S3 lab, Department of Computer Sciences, Purdue University
Venue:
Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
Year:
2005

Citing 11
Cited 8

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
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

A real-time Java virtual machine with applications in avionics

ACM Transactions on Embedded Computing Systems (TECS)
The maxine virtual machine and inspector

Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Accurate garbage collection in uncooperative environments with lazy pointer stacks

CC'07 Proceedings of the 16th international conference on Compiler construction
On the relative completeness of bytecode analysis versus source code analysis

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Unpicking the knot: teasing apart VM/application interdependencies

VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments
Maxine: An approachable virtual machine for, and in, java

ACM Transactions on Architecture and Code Optimization (TACO) - Special Issue on High-Performance Embedded Architectures and Compilers
Bypassing portability pitfalls of high-level low-level programming

Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages
Hybrid compilation and optimization for java-based digital TV platforms

ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers

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 common intermediate representation of this framework and software design patterns used throughout Ovm. One of the main themes in this work has been supporting experimentation with new linguistic constructs and implementation techniques. To this end, Ovm components were designed to be parametric with respect to the instruction set on which they operate and its semantics. We argue that our approach eases the task of writing new components without sacrificing efficiency.