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