Sciweavers

POPL
1997
ACM
13 years 8 months ago
Pizza into Java: Translating Theory into Practice
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
Martin Odersky, Philip Wadler
POS
1998
Springer
13 years 8 months ago
Straightforward Java Persistence Through Checkpointing
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...
Jon Howell
PLILP
1998
Springer
13 years 8 months ago
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
David Wakeling
POPL
1998
ACM
13 years 8 months ago
A Type System for Java Bytecode Subroutines
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
Raymie Stata, Martín Abadi
ICDCS
1998
IEEE
13 years 8 months ago
Experience with Secure Multi-Processing in Java
As Java is the preferred platform for the deployment of network computers, it is appealing to run multiple applications on a single Java desktop. We experimented with using the Ja...
Dirk Balfanz, Li Gong
HOTOS
1999
IEEE
13 years 8 months ago
Drawing the Red Line in Java
Software-based protection has become a viable alternative to hardware-based protection in systems based on languages such as Java, but the absence of hardware mechanisms for prote...
Godmar Back, Wilson C. Hsieh
SAC
2000
ACM
13 years 8 months ago
Parallel C++ for the Java Virtual Machine
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
Timothy E. Denehy, Chang-Hyun Jo
TOOLS
2000
IEEE
13 years 8 months ago
Pickling Threads State in the Java System
Today, distributed object-based computing is closely linked with Java. The Java virtual machine is ported to most current operating systems and provides many services which help d...
Sara Bouchenak, Daniel Hagimont
RSP
2000
IEEE
143views Control Systems» more  RSP 2000»
13 years 8 months ago
Hardware/Software Co-Design of a Java Virtual Machine
This paper discusses the initial results of research into the development of a hardware/software co-design of the Java virtual machine. The design considers a complete Java virtua...
Kenneth B. Kent, Micaela Serra
JAVA
2001
Springer
13 years 8 months ago
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken...
Charlie Daly, Jane Horgan, James F. Power, John Wa...