The Java-MaC framework is a run-time verification system for Java programs that can be used to dynamically test and enforce safety policies. This paper presents a formal model of the Java-MaC safety properties in terms of an operational semantics for Middleweight Java, a realistic subset of full Java. This model is intended to be used as a framework for studying the correctness of Java-MaC prog...

Increasing interest is being shown in the use of Java for large scale or Grande applications. This new use of Java places specific demands on the Java execution environments that can be tested using the Java Grande benchmark suite [5], [6], [7]. The large processing requirements of Grande applications makes parallelisation of interest. A suite of shared memory parallel benchmarks has been devel...

Java cellular phone has arrived in the marketplace as the latest device of a mobile gear. The gear is very compact, allowing 10KB for Java program size and 5KB for data size. Although small in size, it features innovative computer system architecture. Java program can be sent dynamically to the gear in a streaming manner over wireless network. In addition, compared to conventional mobile comput...

Developed at the IBM T. J. Watson Research Center, Jalape~ no [1] is a Java virtual machine (JVM) written in Java that targets high-performance servers. The strategic decision early in the project to implement Jalape~ no in Java [2] leads to many important advantages, but also several implications; therefore when the Java Native Interface (JNI) was implemented for Jalape~ no, we were heavily in...

In this paper, we describe the use of BIT (Bytecode Instrumenting Tool) as an aid in understanding the behavior of persistent Java programs and evaluating the implementation of Java persistent stores. BIT is a set of Java classes that allow a user to build customized tools to instrument Java Virtual Machine (JVM) bytecodes. We built a customized tool using BIT to instrument Object Design Inc.’s...

The general Java runtime environment is resource hungry and unfriendly for realtime systems. To reduce the resource consumption of Java in embedded systems, direct hardware support of the language is a valuable option. Furthermore, an implementation of the Java virtual machine in hardware enables worst-case execution time analysis of Java programs. This chapter gives an overview of current appr...

Since its inception, a large amount of software has been written in Java and surprisingly little is known about the structure of Java programs in the wild. There are very few software visualization tools for analytical reasoning of Java software. We are creating a visual software analytics tool that will help to characterize our Java software corpus. Our tool will help to provide insight into a...

Java has many attractions for users of high performance computing facilities, even in traditional scientific fields. This paper examines the potential offered by Java for such applications. We review the hardware and system software requirements for supporting the Java environment, with emphasis on exploiting commodity components. Further to this, we discuss paradigms and implementation techniq...

We present a software architecture for Java VMs and APIs that significantly increases the execution performance of Java applications on devices with considerable storage limitations. While present embedded Java devices usually implement standard API functions entirely in Java, we propose a shift of paradigm. By using a native programming language like C to implement the whole system library and...

A distributed Java Virtual Machine (DJVM) spanning multiple cluster nodes can provide a true parallel execution environment for multi-threaded Java applications. Most existing DJVMs suffer from the slow Java execution in interpretive mode and thus may not be efficient enough for solving computation-intensive problems. We present JESSICA2, a new DJVM running in JIT compilation mode that can exec...