List of Articles

Effective Compiler Generation by Architecture Description

Appeared at LCTES'06, abstract and article (.pdf).

Superinstructions and Replication in the Cacao JVM Interpreter

Appeared at 4th International Conference in Central Europe on .NET Technologies 2006, abstract and article (.pdf).

Static Verification of Global Heap References in Java Native Libraries

Appeared at SPACE'06, abstract and article (.pdf).

Register Liveness Analysis for Optimizing Dynamic Binary Translation

Appeared at WCRE'02, abstract and article (278521 bytes).

Supporting Design by Contract in Java

Appeared at TOOLS'02, revised version in JOT, abstract and article.

Implementing an Efficient Java Interpreter

Appeared at HPCN'01, abstract and article (274584 bytes).

Java for Large-Scale Scientific Computations?

Appeared at LSSC'01, abstract and article (273146 bytes).

Compilation Techniques for Multimedia Processors

Presented at Dagstuhl Seminar Instruction-Level Parallelism and Parallelizing Compilation, abstract and article (a4) (309237 bytes). Full version appeared in International Journal of Parallel Programming 28(4), pp. 347-361, 2000.

Minimizing cost of local variables access for DSP-processors

Appeared at LCTES'99, abstract and article (251513 bytes) or compressed article (55527 bytes).

Garbage Collection for Large Memory Java Applications

Appeared at HPCN'99, abstract and article (298087 bytes) or compressed article (59959 bytes).

Efficient JavaVM Just-in-Time Compilation

Appeared at PACT'98, abstract and article (80752 bytes) or compressed article (29896 bytes).

CACAO - Eine effiziente JavaVM Implementierung

Appeared at JAVA und Eingebettete Systeme '98, abstract and article (337249 bytes) or compressed article (72877 bytes).

Monitors and Exceptions: How to implement Java efficiently

Appeared at ACM 1998 Workshop on Java for High-Performance Network Computing, abstract and article (a4) (156061 bytes) or article (letter) (156120 bytes) or compressed article (a4) (63449 bytes) or compressed article (letter) (63472 bytes). Full version appeared in Concurrency: Practice and Experience 10(8), 1998.

JavaVM Implementation: Compilers versus Hardware

Appeared at ACAC'98, abstract and article (144727 bytes) or compressed article (58558 bytes).

Efficient Type Inclusion Tests

Appeared at OOPSLA'97, abstract and article (265436 bytes) or compressed article (92337 bytes).

CACAO - A 64 bit JavaVM Just-in-Time Compiler

Appeared at PPoPP'97 Workshop on Java for Science and Engineering Computation, abstract and article (113493 bytes) or compressed article (44686 bytes). Full version appeared in Concurrency: Practice and Experience 9(11), 1997.

Near Optimal Hierarchical Encoding of Types

Appeared at ECOOP'97, abstract and compressed article (73583 bytes).

On Extending Java

Appeared at JMLC'97, abstract and compressed article (36402 bytes).

Removing Anti Dependences by Repairing

Appeared at CC'96, abstract and compressed article (62067 bytes).

Software Pipelining with Register Allocation and Spilling

Short version appeared at MICRO'27, abstract and compressed article (61453 bytes).

Software Pipelining with Reduced Register Requirement

Short version appeared at PACT'95, abstract and compressed article (98768 bytes).

Register Requirement for Exploiting Loops' Maximum Instruction-Level Parallelism

Short version appeared at ICYCS'95, abstract and compressed article (91153 bytes).

Incremental Global Compilation of Prolog with the Vienna Abstract Machine

Appeared at ICLP'95, abstract and compressed article (43183 bytes).

The VAMAai - an Abstract Machine for Incremental Global Dataflow Analysis of Prolog

Appeared at ICLP'95 Workshop on Abstract Interpretation, abstract and compressed article (43825 bytes).

Incremental Flow Analysis

Appeared at the 3rd Workshop on Functional Logic Programming, abstract and compressed article (30885 bytes).

Improving Semi-static Branch Prediction by Code Replication

Appeared at PLDI'94, abstract and compressed article (54005 bytes).

Dependence-Conscious Global Register Allocation

Appeared at PLSA'94, abstract and compressed article (69769 bytes).

Delayed Exceptions - Speculative Execution of Trapping Instructions

Appeared at CC'94, abstract and compressed article (77535 bytes).

Implementation Techniques for Prolog

Appeared at the 10. Workshop Logische Programmierung, abstract and compressed article (60155 bytes).

A Progress Report on Incremental Global Compilation of Prolog

Appeared at the ILPS'94 Workshop on Implementation Techniques for Logic Programming Languages, abstract and compressed article (42508 bytes).

Instruction Scheduling for Complex Pipelines

Appeared at CC'92, abstract and compressed article (44848 bytes).

The Vienna Abstract Machine

Appeared at PLILP'90, abstract and compressed article (66159 bytes).