9 papers · ranked by Valyu relevance
Tony Clark
The Java programming language oers a number of features including: portability; graphics; networking. Java implements the ob ject-oriented execution model in terms of classes, ob jects with state, message passing and inclusion polymorphism. This work aims to provide a mixed paradigm environment which oers the…
Mateusz Ujma, Nastaran Shafiei
—One of the main challenges when verifying multithreaded Java applications is the state space explosion problem. Due to thread interleavings, the number of states that the model checker has to verify can grow rapidly and impede the feasibility of verification. In the Java language, the source of thread interleavings…
Costanza Pascal, Herzeel Charlotte, Verachtert Wilfried
elPrep is an established multi-threaded framework for preparing SAM and BAM files in sequencing pipelines. To achieve good performance, its software architecture makes only a single pass through a SAM/BAM file for multiple preparation steps, and keeps sequencing data as much as possible in main memory. Similar to other…
George Fourtounis, Yannis Smaragdakis
Java 7 introduced programmable dynamic linking in the form of the invokedynamic framework. Static analysis of code containing programmable dynamic linking has often been cited as a significant source of unsoundness in the analysis of Java programs. For example, Java lambdas, introduced in Java 8, are a very popular…
Davide Pizzolotto, Mariano Ceccato
—Code obfuscation is a popular approach to turn program comprehension and analysis harder, with the aim of mitigating threats related to malicious reverse engineering and code tampering. However, programming languages that compile to high level bytecode (e.g., Java) can be obfuscated only to a limited extent. In fact…
Rafael Bravo, Mark Robertson-Tessi, Alexander R. A. Anderson
The Hybrid Automata Library (HAL) is a Java Library made of simple, efficient, generic components that can be used to model complex spatial systems. HAL’s components can broadly be classified into: on- and off-lattice agent containers, finite difference diffusion fields, a Gui building system, and additional tools and…
Julien Ponge, Frédéric Le Mouël
Modifier les portions fonctionnelles et non-fonctionnelles des applications au cours de leur exécution est utile et parfois critique tant lors des phases de développement que de suivi en production. JooFlux est un agent JVM qui permet à la fois de remplacer dynamiquement des implémentations de méthodes que d'appliquer…
Efim Grinkrug
This paper presents an approach to dynamic component composition that facilitates creating new composed components using existing ones at runtime and without any code generation. The dynamic abilities are supported by extended type notion and implementation based on additional superstructure provided with its Java API…
Joséphine Abi-Ghanem, Djomangan Adama Ouattara
The need of digital tools for integrative analysis is today important in most scientific areas. It leads to several community-driven initiatives to standardize the sharing of data and computational workflows. However, there exists no open agnostic framework to model and implement computation workflows, in particular in…