Mnemonics: type-safe bytecode generation at run time

Authors:
Johannes Rudolph;Peter Thiemann
Affiliations:
Albert-Ludwigs-Universität Freiburg, Freiburg, Germany;Albert-Ludwigs-Universität Freiburg, Freiburg, Germany
Venue:
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Year:
2010

Citing 17
Cited 3

Optimizing ML with run-time code generation

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
A compositional account of the Java virtual machine

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for Java bytecode subroutines

ACM Transactions on Programming Languages and Systems (TOPLAS)
C and tcc: a language and compiler for dynamic code generation

ACM Transactions on Programming Languages and Systems (TOPLAS)
A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
A type system for object initialization in the Java bytecode language

ACM Transactions on Programming Languages and Systems (TOPLAS)
DyC: an expressive annotation-directed dynamic compiler for C

Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
Protection in programming languages

Communications of the ACM
Java Virtual Machine Specification

Java Virtual Machine Specification
Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Stack-Based Typed Assembly Language

TIC '98 Proceedings of the Second International Workshop on Types in Compilation
A Type System for the Java Bytecode Language and Verifier

Journal of Automated Reasoning
An easy-to-use toolkit for efficient Java bytecode translators

Proceedings of the 2nd international conference on Generative programming and component engineering
Lightweight Bytecode Verification

Journal of Automated Reasoning
Strongly typed heterogeneous collections

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Phantom types and subtyping

Journal of Functional Programming
Programming in Scala: A Comprehensive Step-by-step Guide

Programming in Scala: A Comprehensive Step-by-step Guide

Firepile: run-time compilation for GPUs in scala

Proceedings of the 10th ACM international conference on Generative programming and component engineering
Mnemonics: type-safe bytecode generation at run time

Higher-Order and Symbolic Computation
Challenges for refinement and composition of instrumentations: position paper

SC'12 Proceedings of the 11th international conference on Software Composition

Quantified Score

Hi-index	0.00

Visualization

Abstract

Mnemonics is a Scala library for generating method bodies in JVM bytecode at run time. Mnemonics supports a large subset of the JVM instructions, for which the static typing of the generator guarantees the well-formedness of the generated bytecode. The library exploits a number of advanced features of Scala's type system (type inference with bounded polymorphism, implicit parameters, and reflection) to guarantee that the compiler only accepts legal combinations of instructions at compile time. Additional instructions can be supported at the price of a check at run time of the generator. In either case, bytecode verification of generated code is guaranteed to succeed.