Supporting Binary Compatibility with Static Compilation

Release-to-release binary compatibility in SOM

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications

From system F to typed assembly language

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The design and implementation of a certifying compiler

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

What is Java binary compatibility?

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Quicksilver: a quasi-static compiler for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

A study of devirtualization techniques for a Java Just-In-Time compiler

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

A framework for efficient reuse of binary code in Java

ICS '01 Proceedings of the 15th international conference on Supercomputing

Efficient implementation of Java interfaces: Invokeinterface considered harmless

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

Java Language Specification, Second Edition: The Java Series

Java Language Specification, Second Edition: The Java Series

A Gee-based Java Implementation

COMPCON '97 Proceedings of the 42nd IEEE International Computer Conference

The Jalapeño virtual machine

IBM Systems Journal

The java hotspotTM server compiler

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1