Publications related to Free Java implementations

On Test Generation through Programming in UDITA

Viktor Kuncak, Tihomir Gvero, Milos Gligoric

We present an approach for describing tests using non-deterministic test generation programs. To write test generation programs, we introduce UDITA, a Java-based language with non-deterministic choice operators and an interface for generating linked struct ...

2009

Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective

Martin Odersky, Gilles Dubochet

This article describes Scala's compilation technique of structural types for the JVM. The technique uses Java reflection and polymorphic inline caches. Performance measurements of this technique are presented and analysed. Further measurements compare Scal ...

2009

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks

George Candea, Cristian Zamfir, Horatiu Jula, Daniel Tralamazza

Deadlock immunity is a property by which programs, once afflicted by a given deadlock, develop resistance against future occurrences of that and similar deadlocks. We describe a technique that enables programs to automatically gain such immunity without as ...

2008

Program Transformations for Light-Weight CPU Accounting and Control in the Java Virtual Machine - A Systematic Review

This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be used with every standard Java Virtual Machine. In o ...

2008

Sharing of probabilistically correlated data in peer-to-peer networks

Roman Schmidt

The impact of Peer-to-Peer (P2P) networks on the Internet landscape is undisputed. It has led to a series of new applications, e.g., as part of the so-called Web 2.0. The shift from the classical client-server based paradigm of the Internet, with a clear d ...

EPFL2008

Reflexes: programming abstractions for highly responsive computing in Java

Jesper Honig Spring

Achieving sub-millisecond response times in a managed language environment such as Java introduces significant implementation challenges. The Achilles' heel of Java is its reliance on automatic memory management for reclaiming dead objects. Typically, the ...

EPFL2008

The Marr Wavelet Pyramid and Multiscale Directional Image Analysis

Michaël Unser, Dimitri Nestor Alice Van De Ville, Daniel Sage, Katarina Balac

The “Marr wavelet pyramid” is a wavelet decomposition that implements a multiscale version of the complex gradient-Laplace operator. It is closely linked to a multiresolution analysis of

L _{ 2 }

(\mathbb{R} ^{ 2 }

) and it has a fast filterbank im ...

EURASIP2008

Platform-independent profiling in a virtual execution environment

Philippe Moret

Virtual execution environments, such as the Java virtual machine, promote platform-independent software development. However, when it comes to analyzing algorithm complexity and performance bottlenecks, available tools focus on platform-specific metrics, s ...

2008

Algorithms for Interface Synthesis

Vasu Singh, Dirk Thilo Beyer

A temporal interface for a software component is a ﬁnite automaton that speciﬁes the legal sequences of calls to functions that are provided by the component. We compare and evaluate three different algorithms for automatically extracting temporal interfac ...

Springer2007

Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation

Philippe Moret

Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynamically generated or downloaded code, instrumentation has to be performed at run ...

2007

Free Java implementations

Graph Chatbot

Chat with Graph Search

On Test Generation through Programming in UDITA

Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks

Program Transformations for Light-Weight CPU Accounting and Control in the Java Virtual Machine - A Systematic Review

Sharing of probabilistically correlated data in peer-to-peer networks

Reflexes: programming abstractions for highly responsive computing in Java

The Marr Wavelet Pyramid and Multiscale Directional Image Analysis

Platform-independent profiling in a virtual execution environment

Algorithms for Interface Synthesis

Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation

Algorithms for Interface Synthesis

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks

Program Transformations for Light-Weight CPU Accounting and Control in the Java Virtual Machine - A Systematic Review

Sharing of probabilistically correlated data in peer-to-peer networks

Reflexes: programming abstractions for highly responsive computing in Java

Platform-independent profiling in a virtual execution environment

On Test Generation through Programming in UDITA

Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective

Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation

The Marr Wavelet Pyramid and Multiscale Directional Image Analysis