Java Virtual Machine Specification

Authors:
Tim Lindholm;Frank Yellin
Affiliations:
-;-
Venue:
Java Virtual Machine Specification
Year:
1999

Citing 0
Cited 1037

Parameterized types for Java

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adding type parameterization to the Java language

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An open implementation analysis and design for lightweight threads

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Slim binaries

Communications of the ACM
Java as a specification language for hardware-software systems

ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Extensible security architectures for Java

Proceedings of the sixteenth ACM symposium on Operating systems principles
A decentralized model for information flow control

Proceedings of the sixteenth ACM symposium on Operating systems principles
Security issues in distributed software

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
From system F to typed assembly language

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for Java bytecode subroutines

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Targeting GNAT to the Java virtual machine

Proceedings of the conference on TRI-Ada '97
Building high-performance applications and services in Java: an experiential study

Addendum to the 1997 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (Addendum)
The Java factor

Communications of the ACM
Why are we using Java again?

Communications of the ACM
Garbage collection and local variable type-precision and liveness in Java virtual machines

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Fast, effective code generation in a just-in-time Java compiler

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Optimizing direct threaded code by selective inlining

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
The design and implementation of a certifying compiler

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Modeling reactive systems in Java

Proceedings of the 6th international workshop on Hardware/software codesign
Integrating formalism and pragmatism: architectural security

NSPW '97 Proceedings of the 1997 workshop on New security paradigms
JRes: a resource accounting interface for Java

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamic class loading in the Java virtual machine

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Making the future safe for the past: adding genericity to the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Parametric polymorphism for Java: a reflective solution

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A type system for object initialization in the Java bytecode language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
What is Java binary compatibility?

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compound types for Java

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A specification of Java loading and bytecode verification

CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
Proof linking: an architecture for modular verification of dynamically-linked mobile code

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Implementing typed intermediate languages

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Overlapping execution with transfer using non-strict execution for mobile programs

Proceedings of the eighth international conference on Architectural support for programming languages and operating systems
A simple, comprehensive type system for Java bytecode subroutines

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-safe linking and modular assembly language

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typed memory management in a calculus of capabilities

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling reactive systems in Java

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Trace-Based Load Characterization for Generating Performance Software Models

IEEE Transactions on Software Engineering
Support for garbage collection at every instruction in a Java compiler

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Finite-state code generation

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Techniques for trusted software engineering

Proceedings of the 20th international conference on Software engineering
Residual test coverage monitoring

Proceedings of the 21st international conference on Software engineering
Ajents: towards an environment for parallel, distributed and mobile Java applications

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Fixing the Java memory model

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
The Jalapeño dynamic optimizing compiler for Java

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Bytecode-based Java program analysis

ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
The Jini architecture: dynamic services in a flexible network

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A Tree-Based Alternative to Java Byte-Codes

International Journal of Parallel Programming
A type system for Java bytecode subroutines

ACM Transactions on Programming Languages and Systems (TOPLAS)
Representing Java classes in a typed intermediate language

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Design and implementation of a distributed virtual machine for networked computers

Proceedings of the seventeenth ACM symposium on Operating systems principles
Distributed virtual machines: a system architecture for network computing

Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
An unconventional proposal: using the x86 architecture as the ubiquitous virtual standard architecture

Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
FACADE: a typed intermediate language dedicated to smart cards

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
From system F to typed assembly language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Escape analysis for object-oriented languages: application to Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A formal framework for the Java bytecode language and verifier

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An efficient meta-lock for implementing ubiquitous synchronization

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Practical experience with an application extractor for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Implementing jalapeño in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Secrecy by typing in security protocols

Journal of the ACM (JACM)
Resource bound certification

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type elaboration and subtype completion for Java bytecode

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for expressive security policies

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for object initialization in the Java bytecode language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Hardware Realization of a Java Virtual Machine for High Performance Multimedia Applications

Journal of VLSI Signal Processing Systems - Special issue on the 1997 IEEE workshop on signal processing systems (SiPS): design and implementation
Using production grammars in software testing

Proceedings of the 2nd conference on Domain-specific languages
Protecting Java code via code obfuscation

Crossroads - Speical issue on robotics
A practical crash course in Java 1.1+ programming and technology: part II

Crossroads - Speical issue on robotics
A practical crash course in Java 1.1+ programming and technology: part I

Crossroads - Special issue on Java
Using shape analysis to reduce finite-state models of concurrent Java programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Smart packets: applying active networks to network management

ACM Transactions on Computer Systems (TOCS)
Back to the basics: a first class chalkboard and more

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Software engineering for security: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Efficient Java exception handling in just-in-time compilation

Proceedings of the ACM 2000 conference on Java Grande
JavaNws: the network weather service for the desktop

Proceedings of the ACM 2000 conference on Java Grande
Persistent execution state of a Java virtual machine

Proceedings of the ACM 2000 conference on Java Grande
Verifying object initialization in the Java bytecode language

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Parallel-C++ for the Java virtual machine

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Memory system behavior of Java programs: methodology and analysis

Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
JMTP: an architecture for exploiting concurrency in embedded Java applications with real-time considerations

ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
System design based on single language and single-chip Java ASIP microcontroller

DATE '00 Proceedings of the conference on Design, automation and test in Europe
jRapture: A Capture/Replay tool for observation-based testing

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
From flop to megaflops: Java for technical computing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Practicing JUDO: Java under dynamic optimizations

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Safety checking of machine code

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A certifying compiler for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A framework for interprocedural optimization in the presence of dynamic class loading

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Contaminated garbage collection

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A single intermediate language that supports multiple implementations of exceptions

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Integer Multiplication with Overflow Detection or Saturation

IEEE Transactions on Computers - Special issue on computer arithmetic
Expressing meaningful processing requirements among heterogeneous nodes in an active network

Proceedings of the 2nd international workshop on Software and performance
Fault origin adjudication

FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Proof-carrying code (abstract): design, implementation and applications

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study

IEEE Transactions on Software Engineering
Improving the Java memory model using CRF

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Quicksilver: a quasi-static compiler for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A study of devirtualization techniques for a Java Just-In-Time compiler

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A formal specification of Java class loading

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Application isolation in the Java Virtual Machine

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Enforceable security policies

ACM Transactions on Information and System Security (TISSEC)
Java bytecode compression for low-end embedded systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Eliminating external fragmentation in a non-moving garbage collector for Java

CASES '00 Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems
Effective null pointer check elimination utilizing hardware trap

ACM SIGPLAN Notices
Secure Execution of Java Applets Using a Remote Playground

IEEE Transactions on Software Engineering
Verifying safety properties of concurrent Java programs using 3-valued logic

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Oracle-based checking of untrusted software

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Secure safe ambients

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SAFKASI: a security mechanism for language-based systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Protecting privacy using the decentralized label model

ACM Transactions on Software Engineering and Methodology (TOSEM)
Standard fixpoint iteration for Java bytecode verification

ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed memory management via static capabilities

ACM Transactions on Programming Languages and Systems (TOPLAS)
Java Runtime Systems: Characterization and Architectural Implications

IEEE Transactions on Computers
Techniques for obtaining high performance in Java programs

ACM Computing Surveys (CSUR)
Separating access control policy, enforcement, and functionality in extensible systems

ACM Transactions on Computer Systems (TOCS)
An application specific Java processor with reconfigurabilities

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Core semantics of multithreaded Java

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Sapphire: copying GC without stopping the world

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Automatic translation of Fortran to JVM bytecode

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Implementation of a portable software DSM in Java

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Efficient Simulation of Formal Processor Models

Formal Methods in System Design
Evaluation of processor code efficiency for embedded systems

ICS '01 Proceedings of the 15th international conference on Supercomputing
Register-sensitive selection, duplication, and sequencing of instructions

ICS '01 Proceedings of the 15th international conference on Supercomputing
Improving Java performance using hardware translation

ICS '01 Proceedings of the 15th international conference on Supercomputing
A framework for efficient reuse of binary code in Java

ICS '01 Proceedings of the 15th international conference on Supercomputing
Design and implementation of generics for the .NET Common language runtime

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Dynamic variables

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Effective null pointer check elimination utilizing hardware trap

ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Protection in programming-language translations

Secure Internet programming
Providing policy-neutral and transparent access control in extensible systems

Secure Internet programming
Type elaboration and subtype completion for Java bytecode

ACM Transactions on Programming Languages and Systems (TOPLAS)
Untrusted hosts and confidentiality: secure program partitioning

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Staged compilation

PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Formalizing the safety of Java, the Java virtual machine, and Java card

ACM Computing Surveys (CSUR)
Stack inspection: theory and variants

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Points-to analysis for Java using annotated constraints

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A parameterized type system for race-free Java programs

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object race detection

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A study of exception handling and its dynamic optimization in Java

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient implementation of Java interfaces: Invokeinterface considered harmless

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multitasking without comprimise: a virtual machine evolution

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Portable resource control in Java

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Partial method compilation using dynamic profile information

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Jiazzi: new-age components for old-fasioned Java

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The architecture of a UML virtual machine

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ParaWeb: towards world-wide supercomputing

EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
Termination in language-based systems

ACM Transactions on Information and System Security (TISSEC)
Secure mobile agent systems using Java: where are we heading?

Proceedings of the 2002 ACM symposium on Applied computing
An adaptive, region-based allocator for java

Proceedings of the 3rd international symposium on Memory management
Stack and Queue Integrity on Hostile Platforms

IEEE Transactions on Software Engineering
Proxy compilation of dynamically loaded Java classes with MoJo

Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
The apprentice challenge

ACM Transactions on Programming Languages and Systems (TOPLAS)
Stacking them up: a comparison of virtual machines

ACSAC '01 Proceedings of the 6th Australasian conference on Computer systems architecture
Exploiting Java instruction/thread level parallelism with horizontal multithreading

ACSAC '01 Proceedings of the 6th Australasian conference on Computer systems architecture
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System

IEEE Transactions on Software Engineering
Secure program partitioning

ACM Transactions on Computer Systems (TOCS)
Towards a mechanically checked theory of computation: the ACL2 project

Logic-based artificial intelligence
Multiprocessing and portability for PDAs

EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
A system architecture for pervasive computing

EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
J-SEAL2—A Secure High-Performance Mobile Agent System

Electronic Commerce Research - Special issue on agents in electronic commerce
A new type system for JVM lock primitives

ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Correctness of Java Card method lookup via logical relations

Theoretical Computer Science
Fixing the Java bytecode verifier by a suitable type domain

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Local model checking of Java bytecode

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
True separate compilation of Java classes

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Java bytecode as a typed term calculus

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Tracking down software bugs using automatic anomaly detection

Proceedings of the 24th International Conference on Software Engineering
An interoperable calculus for external object access

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
An expressive, scalable type theory for certified code

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Compiling scheme to JVM bytecode:: a performance study

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Language-specific make technology for the Java programming language

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Fast subtype checking in the HotSpot JVM

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Almost-whole-program compilation

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Open runtime platform: flexibility with performance using interfaces

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Immutability specification and its applications

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Programming dynamically reconfigurable open systems with SALSA

ACM SIGPLAN Notices
Performance monitoring of java applications

WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Practical extraction techniques for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Recompilation for debugging support in a JIT-compiler

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Bytecode verification on Java smart cards

Software—Practice & Experience
A portable-approach to dynamic optimization in run-time specialization

New Generation Computing - Partial evaluation and program transformation
Types for the ambient calculus

Information and Computation - IFIP TCS2000
Toward a foundational typed assembly language

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The logical approach to stack typing

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Bytecode fetch optimization for a Java interpreter

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Understanding and improving operating system effects in control flow prediction

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Maté: a tiny virtual machine for sensor networks

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
A Scheduling Scheme for Controlling Allocation of CPU Resources for Mobile Programs

Autonomous Agents and Multi-Agent Systems
Efficiently Adapting Java Binaries in Limited Memory Contexts

International Journal of Parallel Programming
Formalization and Analysis of Class Loading in Java

Higher-Order and Symbolic Computation
An analytical POC stack operations folding for continuous and discontinuous Java bytecodes

Journal of Systems Architecture: the EUROMICRO Journal
Toward Ubiquitous Environments for Mobile Users

IEEE Internet Computing
Secure Java Class Loading

IEEE Internet Computing
A Software Architecture for Open Service Gateways

IEEE Internet Computing
Dynamic Linking of Software Components

Computer
Optimizing NET Compilers for Improved Java Performance

Computer
Secure Code Distribution

Computer
The Real-Time Specification for Java

Computer
picoJava-I: The Java Virtual Machine in Hardware

IEEE Micro
Java Security: Present and Near Future

IEEE Micro
Compiling Java Just in Time

IEEE Micro
Java-Centric Distributed Computing

IEEE Micro
The MAJC Architecture: A Synthesis of Parallelism and Scalability

IEEE Micro
Harissa: A Hybrid Approach to Java Execution

IEEE Software
A type system for JVM threads

Theoretical Computer Science
An open framework for data-flow analysis in Java: extended abstract

PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Improving mobile program performance through the use of a hybrid intermediate representation

PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Bigram analysis of Java bytecode sequences

PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
A B model for ensuring soundness of a large subset of the java card virtual machine

Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Stack inspection: Theory and variants

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Case for Java as a Programming Language

IEEE Internet Computing
Portable implementation of continuation operators in imperative languages by exception handling

Advances in exception handling techniques
Remote Service Deployment on Programmable Switches with the IETF SNMP Script MIB

DSOM '99 Proceedings of the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Active Technologies for Network and Service Management
Correctness of Java Card Method Lookup via Logical Relations

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Formalisation of Java's Exception Mechanism

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Proof-Directed De-compilation of Low-Level Code

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Enforcing Safety Properties Using Type Specialization

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
DataScript - A Specification and Scripting Language for Binary Data

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Trustless Grid Computing in ConCert

GRID '02 Proceedings of the Third International Workshop on Grid Computing
High-Performance Scalable Java Virtual Machines

HiPC '01 Proceedings of the 8th International Conference on High Performance Computing
Dynamic Path Profile Aided Recompilation in a JAVA Just-In-Time Compiler

HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Realization of an Agent-Based Certificate Authority and Key Distribution

IATA '99 Proceedings of the Third International Workshop on Intelligent Agents for Telecommunication Applications
Rehashable BTB: An Adaptive Branch Target Buffer to Improve the Target Predictability of Java Code

HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Practical Experiences with Java Compilation

HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Improving Java Server Performance with Interruptlets

ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
TRaDe: Data Race Detection for Java

ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Monitoring System for Distributed Java Applications

ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Issues Raised by Three Years of Developing PJama: An Orthogonally Persistent Platform for Java

ICDT '99 Proceedings of the 7th International Conference on Database Theory
Active Agents Programming in HARNESS

HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines

Formal Syntax and Semantics of Java
Dynamic Denotational Semantics of Java

Formal Syntax and Semantics of Java
A Programmer Friendly Modular Definition of the Semantics of Java

Formal Syntax and Semantics of Java
A Compiler Infrastructure for High-Performance Java

HPCN Europe 2001 Proceedings of the 9th International Conference on High-Performance Computing and Networking
Automatic Reincarnation of Deceased Plug-Ins in the HARNESS Metacomputing System

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Influence of Array Allocation Mechanisms on Memory System Energy

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A formal model of the java multi-threading system and its validation on a known problem

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Multi-agent Architecture for Intelligent Mobile Agents

MATA '01 Proceedings of the Third International Workshop on Mobile Agents for Telecommunication Applications
Towards an Algebraic Specification of the Java Virtual Machine

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Language-Based Security

MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Run-Time Bytecode Specialization

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Genetic Evolution of Software Microorganisms

SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Bytecode Model Checking: An Experimental Analysis

Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Proving Theorems About Java-Like Byte Code

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Just-In-Time Java? Compilation for the Itanium® Processor

Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques
Dependence Analysis of Java Bytecode

COMPSAC '00 24th International Computer Software and Applications Conference
Object-Oriented Programming on the Network

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Sealing, Encapsulation, and Mutability

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
A Bytecode Translator for Distributed Execution of ``Legacy'' Java Software

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Mobility Types for Mobile Ambients

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Symbolic Simulation of the JEM1 Microprocessor

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Notes on Nominal Calculi for Security and Mobility

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Reducing the Memory Complexity of Type-Inference Algorithms

ICICS '02 Proceedings of the 4th International Conference on Information and Communications Security
Design and Implementation of Small-Sized Java Virtual Machine on Java Platform Jini

ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part I
A Java-Enabled DSP

Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
Parametric Polymorphism and Orthogonal Persistence

Proceedings of the International Symposium on Objects and Databases
Software Optimization of Decorrelation Module

SAC '99 Proceedings of the 6th Annual International Workshop on Selected Areas in Cryptography
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications

Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Implementing Java on Clusters

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Formal Verification of Explicitly Parallel Microprocessors

CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Compositional Proofs for Concurrent Objects

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Storage Allocation for Real-Time, Embedded Systems

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A New Facility for Dynamic Control of Program Execution: DELI

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Verified Bytecode Verifiers

FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Formal Techniques for Java Programs

ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
On-Card Bytecode Verification for Java Card

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
MetaJava - A Platform for Adaptable Operating-System Mechanisms

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Implementing Real-Time Actors with MetaJava

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Eager Class Initialization for Java

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Jumping to the Meta Level: Behavioral Reflection Can Be Fast and Flexible

Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
jContractor: A Reflective Java Library to Support Design by Contract

Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Design for Reuse via Structuring Techniques for ASMs

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Hierarchical Model for Coordination of Concurrent Activities

COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Simple(r) Interface Distribution Mechanism for Java Card

JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Safe and Flexible Dynamic Linking of Native Code

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
An Abstract Model of Java Dynamic Linking and Loading

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling

Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java

Selected Papers from the International Seminar on Generic Programming
Fast Escape Analysis and Stack Allocation for Object-Based Programs

CC '00 Proceedings of the 9th International Conference on Compiler Construction
Pipelined Java Virtual Machine Interpreters

CC '00 Proceedings of the 9th International Conference on Compiler Construction
A Framework for Optimizing Java Using Attributes

CC '01 Proceedings of the 10th International Conference on Compiler Construction
A Graph-Free Approach to Data-Flow Analysis

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Effective Enhancement of Loop Versioning in Java

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Architecture-Level Support for Software Component Deployment in Resource Constrained Environments

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Evolution of Distributed Java Programs

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
CC4J - Code Coverage for Java

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Framework for Defining Object-Calculi

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Portable Resource Reification in Java-Based Mobile Agent Systems

MA '01 Proceedings of the 5th International Conference on Mobile Agents
Using a Secure Mobile Object Kernel as Operating System on Embedded Devices to Support the Dynamic Upload of Applications

MA '02 Proceedings of the 6th International Conference on Mobile Agents
Mobile Code in .NET: A Porting Experience

MA '02 Proceedings of the 6th International Conference on Mobile Agents
Java Bytecode Verification by Model Checking

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Java Bytecode Verification: An Overview

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Java Class Deployment Using Class Collections

NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Targeting Dynamic Compilation for Embedded Environments

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Supporting Binary Compatibility with Static Compilation

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
A Lightweight Java Virtual Machine for a Stack-Based Microprocessor

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
JaRTS: A Portable Implementation of Real-Time Core Extensions for Java

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
A Modular and Extensible JVM Infrastructure

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Web Browsers and Security

Mobile Agents and Security
Signing, Sealing, and Guarding Java Objects

Mobile Agents and Security
A Simple, Fault Tolerant Naming Space for the HARNESS Metacomputing System

Proceedings of the 7th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Scalable and Recoverable Implementation of Object Evolution for the PJama1 Platform

POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
PVM Emulation in the Harness Metacomputing System: A Plug-in Based Approach

Proceedings of the 6th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Static Analysis of Processes for No and Read-Up nad No Write-Down

FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Customizable Deployment, Composition, and Hosting of Distributed Java Applications

On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Java-enabled DSP

Embedded processor design challenges
Compilation for FPGA-Based Reconfigurable Hardware

IEEE Design & Test
JVM: platform independent vs. performance dependent

ACM SIGOPS Operating Systems Review
Language integration in the common language runtime

ACM SIGPLAN Notices
The simplest heuristics may be the best in Java JIT compilers

ACM SIGPLAN Notices
Checking secure interactions of smart card applets: extended version

Journal of Computer Security - Special issue on ESORICS 2000
Verified bytecode verifiers

Theoretical Computer Science - Foundations of software science and computation structures
A novel codesign approach based on distributed virtual machines

Proceedings of the tenth international symposium on Hardware/software codesign
DELI: a new run-time control point

Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture
Vmgen: a generator of efficient virtual machine interpreters

Software—Practice & Experience
Coupling on-line and off-line profile information to improve program performance

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Design, implementation and evaluation of adaptive recompilation with on-stack replacement

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
A java virtual machine architecture for very small devices

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Extracting Java library subsets for deployment on embedded systems

Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Mechanisms for secure modular programming in Java

Software—Practice & Experience - Special issue: Security software
Compact Java binaries for embedded systems

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Soot - a Java bytecode optimization framework

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Towards array bound check elimination in Java TM virtual machine language

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
A framework for optimizing Java using attributes

CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Automatic detection of immutable fields in Java

CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
A new speculation technique to optimize floating-point performance while preserving bit-by-bit reproducibility

ICS '03 Proceedings of the 17th annual international conference on Supercomputing
Towards customisable tuple field matching in VLOS

ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
JAZZ: an efficient compressed format for Java archive files

CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
SRL 3/4"A Simple Retargetable Loader

ASWEC '97 Proceedings of the Australian Software Engineering Conference
Heterogeneous Programming with Java: Gourmet Blend or just a Hill of Beans?

HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
Heterogeneous Distributed Virtual Machines in the Harness Metacomputing Framework

HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
Adaptive Offloading Inference for Delivering Applications in Pervasive Computing Environments

PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Performance Analysis for a Java-based Virtual Prototype

RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Selective Focus as a Means of Improving Geographically Distributed Embedded System Co-simulation

RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Garbage Collector Memory Accounting in Language-Based Systems

SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Detecting Evolution Incompatibilities by Analyzing Java Binaries

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Using Java to Add "Stored Procedures" to Databases

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
The source is the proof

Proceedings of the 2002 workshop on New security paradigms
Changing Java Programs

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Executable JVM model for analytical reasoning: a study

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
A portable Virtual Machine target for Proof-Carrying Code

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Joeq: a virtual machine and compiler infrastructure

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Engineering a customizable intermediate representation

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
The Jrpm system for dynamically parallelizing Java programs

Proceedings of the 30th annual international symposium on Computer architecture
Extracting library-based Java applications

Communications of the ACM - Program compaction
Monitoring of distributed Java applications

Future Generation Computer Systems - Tools for program development and analysis
The Synthesis of a Java Card Tokenization Algorithm

Proceedings of the 16th IEEE international conference on Automated software engineering
Verified Bytecode Subroutines

Journal of Automated Reasoning
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler

Journal of Automated Reasoning
Java Bytecode Verification: Algorithms and Formalizations

Journal of Automated Reasoning
Bytecode Verification by Model Checking

Journal of Automated Reasoning
A Type System for the Java Bytecode Language and Verifier

Journal of Automated Reasoning
Authenticity by Typing for Security Protocols

CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
The reflective nitrO abstract machine

ACM SIGPLAN Notices
Class analyses as abstract interpretations of trace semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)
Deadline analysis of interrupt-driven software

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A static type system for JVM access control

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
MJ: a rational module system for Java and its applications

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Heap compression for memory-constrained Java environments

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Multicodes: optimizing virtual machines using bytecode sequences

OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Hume: a domain-specific language for real-time embedded systems

Proceedings of the 2nd international conference on Generative programming and component engineering
The convergence of AOP and active databases: towards reactive middleware

Proceedings of the 2nd international conference on Generative programming and component engineering
IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming

PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Object persistence in Java

PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
JVM versus CLR: a comparative study

PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
MyJVM: a 100% pure Java customizable Java Virtual Machine

PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
ULT: a Java threads model for platform independent execution

ACM SIGOPS Operating Systems Review
Authenticity by typing for security protocols

Journal of Computer Security - Special issue on CSFW14
Support of Java API for the jHISC system

ACM SIGARCH Computer Architecture News
Partial Functions in ACL2

Journal of Automated Reasoning
Hardware support for user-access control on an object-oriented processor

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Test bench for software development of object-oriented processor

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Support of Java API for the jHISC system

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Formalization of generics for the .NET common language runtime

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Test bench for software development of object-oriented processor

ACM SIGARCH Computer Architecture News
On the design of global object space for efficient multi-threading Java computing on clusters

Parallel Computing - Special issue: Parallel and distributed scientific and engineering computing
Program specialization for execution monitoring

Journal of Functional Programming
Java bytecode verification on Java cards

Proceedings of the 2004 ACM symposium on Applied computing
Another step towards a smart compilation manager for Java

Proceedings of the 2004 ACM symposium on Applied computing
Modeling multiple class loaders by a calculus for dynamic linking

Proceedings of the 2004 ACM symposium on Applied computing
A portable virtual machine for program debugging and directing

Proceedings of the 2004 ACM symposium on Applied computing
Stack-based typed assembly language

Journal of Functional Programming
Compiling lazy functional programs for the Java Virtual Machine

Journal of Functional Programming
Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems

Proceedings of the conference on Design, automation and test in Europe - Volume 3
The dynamic compilation of lazy functional programs

Journal of Functional Programming
Profiling Java applications using code hotswapping and dynamic call graph revelation

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Visualization of Java workloads using ternary diagrams

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Advice weaving in AspectJ

Proceedings of the 3rd international conference on Aspect-oriented software development
Virtual machine support for dynamic join points

Proceedings of the 3rd international conference on Aspect-oriented software development
Lightweight Bytecode Verification

Journal of Automated Reasoning
Improving 64-Bit Java IPF Performance by Compressing Heap References

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Exploiting FPGA concurrency to enhance JVM performance

ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
When and what to compile/optimize in a virtual machine?

ACM SIGPLAN Notices
Advanced obfuscation techniques for Java bytecode

Journal of Systems and Software
Fast breakpoints: design and implementation

ACM SIGPLAN Notices - Best of PLDI 1979-1999
The design and implementation of a certifying compiler

ACM SIGPLAN Notices - Best of PLDI 1979-1999
Icc.NET: targeting the .NET common intermediate language from standard C

Software—Practice & Experience
The design and implementation of a modular and extensible Java virtual machine

Software—Practice & Experience
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Code protection for resource-constrained embedded devices

Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Java virtual machine profiler interface

IBM Systems Journal
A unifying approach to performance analysis in the Java environment

IBM Systems Journal
The evolution of a high-performing Java virtual machine

IBM Systems Journal
Overview of the IBM Java just-in-time compiler

IBM Systems Journal
Building a Java virtual machine for server applications: the Jvm on 0S/390

IBM Systems Journal
The Jalapeño virtual machine

IBM Systems Journal
The evolution of Java security

IBM Systems Journal
Program transformations for portable CPU accounting and control in Java

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Formal Methods in System Design
JaRec: a portable record/replay environment for multi-threaded Java applications

Software—Practice & Experience
Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Software Streaming via Block Streaming

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
On-chip Stack Based Memory Organization for Low Power Embedded Architectures

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Using code collection to support large applications on mobile devices

Proceedings of the 10th annual international conference on Mobile computing and networking
Java object look aside buffer for embedded applications

MEDEA '03 Proceedings of the 2003 workshop on MEmory performance: DEaling with Applications , systems and architecture
A Portable CPU-Management Framework for Java

IEEE Internet Computing
Deadline Analysis of Interrupt-Driven Software

IEEE Transactions on Software Engineering
A software/hardware cooperated stack operations folding model for Java processors

Journal of Systems and Software
A hierarchical process execution support for grid computing

MGC '04 Proceedings of the 2nd workshop on Middleware for grid computing
Pluggable verification modules: an extensible protection mechanism for the JVM

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Field level analysis for heap space optimization in embedded java environments

Proceedings of the 4th international symposium on Memory management
From Sandbox to Playground: Dynamic Virtual Environments in the Grid

GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
A quantitative analysis of the performance impact of specialized bytecodes in java

CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Algebraic reasoning for object-oriented programming

Science of Computer Programming - Special issue on program transformation
The transient combinator, higher-order strategies, and the distributed data problem

Science of Computer Programming - Special issue on program transformation
Type-safe method inlining

Science of Computer Programming - Special issue on program transformation
System support for pervasive applications

ACM Transactions on Computer Systems (TOCS)
Design and Implementation of an Administration System for Distributed Web Server

LISA '98 Proceedings of the 12th USENIX conference on System administration
The open verifier framework for foundational verifiers

TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
Type-based verification of sssembly language for compiler debugging

TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
A simple typed intermediate language for object-oriented languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
JCrasher: an automatic robustness tester for Java

Software—Practice & Experience
P#: a concurrent prolog for the .NET framework

Software—Practice & Experience
Interpreting Java program runtimes

Proceedings of the 36th SIGCSE technical symposium on Computer science education
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing?

Proceedings of the 2003 ACM/IEEE conference on Supercomputing
Parametric polymorphism for Java: is there any hope in sight?

ACM SIGPLAN Notices
Supporting autonomic computing functionality via dynamic operating system kernel aspects

Proceedings of the 4th international conference on Aspect-oriented software development
Interactive and Probabilistic Proof of Mobile Code Safety

Automated Software Engineering
Code sharing among states for stack-caching interpreter

Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators
JiST: an efficient approach to simulation using virtual machines: Research Articles

Software—Practice & Experience
A local approach for temporal model checking of Java bytecode

Journal of Computer and System Sciences
Injecting roles in Java agents through runtime bytecode manipulation

IBM Systems Journal
Instrumenting annotated programs

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
PDS: a virtual execution environment for software deployment

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
The entropia virtual machine for desktop grids

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Optimising aspectJ

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Composing security policies with polymer

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
On the design of the local variable cache in a hardware translation-based java virtual machine

LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Symmetric behavior-based trust: a new paradigm for internet computing

NSPW '04 Proceedings of the 2004 workshop on New security paradigms
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors

Proceedings of the 2005 ACM symposium on Applied computing
A generic serializer for mobile devices

Proceedings of the 2005 ACM symposium on Applied computing
The Architecture of Virtual Machines

Computer
A quantitative analysis of Java bytecode sequences

Proceedings of the 3rd international symposium on Principles and practice of programming in Java
A low-footprint class loading mechanism for embedded Java virtual machines

Proceedings of the 3rd international symposium on Principles and practice of programming in Java
Profile-driven code unloading for resource-constrained JVMs

Proceedings of the 3rd international symposium on Principles and practice of programming in Java
A dynamic compiler for embedded Java virtual machines

Proceedings of the 3rd international symposium on Principles and practice of programming in Java
a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines

Proceedings of the 3rd international symposium on Principles and practice of programming in Java
Adapting branch-target buffer to improve the target predictability of java code

ACM Transactions on Architecture and Code Optimization (TACO)
The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices

ACM Transactions on Architecture and Code Optimization (TACO)
Supporting software composition at the programming language level

Science of Computer Programming - Special issue on new software composition concepts
Intermediate languages

Encyclopedia of Computer Science
Java

Encyclopedia of Computer Science
Language processors

Encyclopedia of Computer Science
Selective capture and replay of program executions

WODA '05 Proceedings of the third international workshop on Dynamic analysis
Translating Java for Multiple Model Checkers: The Bandera Back-End

Formal Methods in System Design
Comparing the size of .NET applications with native code

CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Automated bug isolation via program chipping

Proceedings of the sixth international symposium on Automated analysis-driven debugging
High performance annotation-aware JVM for Java cards

Proceedings of the 5th ACM international conference on Embedded software
Verifiable annotations for embedded java environments

Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
Continuations from generalized stack inspection

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Exploiting runtime bytecode manipulation to add roles to Java agents

Science of Computer Programming - Special issue on principles and practice of programming in java (PPPJ 2003)
Stackable thread mechanisms

ACM SIGOPS Operating Systems Review
A research C# compiler

Software—Practice & Experience
Checking secure information flow in java bytecode by code transformation and standard bytecode verification

Software—Practice & Experience
Towards a taxonomy of software change: Research Articles

Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Fine-grained interoperability through mirrors and contracts

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
VMSTAR: synthesizing scalable runtime environments for sensor networks

Proceedings of the 3rd international conference on Embedded networked sensor systems
A general framework to build new CPUs by mapping abstract machine code to instruction level parallel execution hardware

ACM SIGARCH Computer Architecture News - Special issue: dasCMP'05
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

Formal Methods in System Design
Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems

IEEE Transactions on Parallel and Distributed Systems
SableSpMT: a software framework for analysing speculative multithreading in Java

PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Precise Analysis of Memory Consumption using Program Logics

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
EDO: Exception-directed optimization in java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Computability classes for enforcement mechanisms

ACM Transactions on Programming Languages and Systems (TOPLAS)
Eliminating stack overflow by abstract interpretation

ACM Transactions on Embedded Computing Systems (TECS)
Navigating error recovery code in Java applications

eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
The compiler course in today's curriculum: three strategies

Proceedings of the 37th SIGCSE technical symposium on Computer science education
Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler

Proceedings of the International Symposium on Code Generation and Optimization
Dynamic Class Hierarchy Mutation

Proceedings of the International Symposium on Code Generation and Optimization
Instruction folding in a hardware-translation based java virtual machine

Proceedings of the 3rd conference on Computing frontiers
A time predictable Java processor

Proceedings of the conference on Design, automation and test in Europe: Proceedings
Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java

Proceedings of the conference on Design, automation and test in Europe: Proceedings
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors

Science of Computer Programming - Special issue: Principles and practices of programming in Java (PPPJ 2004)
Portable and accurate sampling profiling for Java

Software—Practice & Experience - Research Articles
A component-based approach to online software evolution: Research Articles

Journal of Software Maintenance and Evolution: Research and Practice
Execution time limitation of interrupt handlers in a Java operating system

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Towards trusted systems from the ground up

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
MultiJava: Design rationale, compiler implementation, and applications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular verification of assembly code with stack-based control abstractions

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Certified In-lined Reference Monitoring on .NET

Proceedings of the 2006 workshop on Programming languages and analysis for security
A microkernel virtual machine:: building security with clear interfaces

Proceedings of the 2006 workshop on Programming languages and analysis for security
Vector LLVA: a virtual vector instruction set for media processing

Proceedings of the 2nd international conference on Virtual execution environments
A resource model for adaptable applications

Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Strong agent mobility for aglets based on the IBM JikesRVM

Proceedings of the 2006 ACM symposium on Applied computing
Selective compilation via fast code analysis and bytecode tracing

Proceedings of the 2006 ACM symposium on Applied computing
Escape analysis for synchronization removal

Proceedings of the 2006 ACM symposium on Applied computing
Java bytecode specification and verification

Proceedings of the 2006 ACM symposium on Applied computing
A software framework for integrated sensor network applications

InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Average case vs. worst case: margins of safety in system design

NSPW '05 Proceedings of the 2005 workshop on New security paradigms
APTE: automated pointcut testing for AspectJ programs

Proceedings of the 2nd workshop on Testing aspect-oriented programs
A machine-checked model for a Java-like language, virtual machine, and compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)
Dusty caches for reference counting garbage collection

MEDEA '05 Proceedings of the 2005 workshop on MEmory performance: DEaling with Applications , systems and architecture
The missing link: dynamic components for ML

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Single-threaded specification of process-interaction formalism in Java

WSC '04 Proceedings of the 36th conference on Winter simulation
An object-aware memory architecture

Science of Computer Programming - Special issue on five perspectives on modern memory management: Systems, hardware and theory
JTL: the Java tools language

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Adapting virtual machine techniques for seamless aspect support

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Uniform proxies for Java

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Replay compilation: improving debuggability of a just-in-time compiler

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A cache based stack folding technique for high performance Java processors

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Exact roots for a real-time garbage collector

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
ANRTS platforms

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Issues in building an ANRTS platform

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Jelatine: a virtual machine for small embedded systems

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Global instruction scheduling in dynamic compilation for embedded systems

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
WCET analysis for a Java processor

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
JIT compiler optimizations for stack-based processors in embedded platforms

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Enabling Java mobile computing on the IBM Jikes research virtual machine

PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
A new idiom recognition framework for exploiting hardware-assist instructions

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Flexible and efficient measurement of dynamic bytecode metrics

Proceedings of the 5th international conference on Generative programming and component engineering
Runtime metrics collection for middleware supported adaptation of mobile applications

Proceedings of the 5th workshop on Adaptive and reflective middleware (ARM '06)
An evaluation of secialized Java bytecodes

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Interlanguage migration: from scripts to programs

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems

CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Syntax-driven implementation of software programming language control constructs and expressions on FPGAs

CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Schedulable persistence system for teal-time applications in virtual machine

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A static type system for JVM access control

ACM Transactions on Programming Languages and Systems (TOPLAS)
JML-based verification of liveness properties on a class in isolation

Proceedings of the 2006 conference on Specification and verification of component-based systems
Establishing structural testing criteria for Java bytecode

Software—Practice & Experience
Abstractions for safe concurrent programming in networked embedded systems

Proceedings of the 4th international conference on Embedded networked sensor systems
Deriving escape analysis by abstract interpretation

Higher-Order and Symbolic Computation
Adaptiveness in well-typed Java bytecode verification

CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
OS-Aware Branch Prediction: Improving Microprocessor Control Flow Prediction for Operating Systems

IEEE Transactions on Computers
Efficient Register Mapping and Allocation in LaTTe, an Open-Source Java Just-in-Time Compiler

IEEE Transactions on Parallel and Distributed Systems
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

Theoretical Computer Science - Applied semantics: Selected topics
Executable JVM model for analytical reasoning: a study

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
A portable virtual machine target for proof-carrying code

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
Joeq: a virtual machine and compiler infrastructure

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
Engineering a common intermediate representation for the Ovm framework

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
A transformational perspective into the core of an abstract class loader for the SSP

ACM Transactions on Embedded Computing Systems (TECS)
OSEK/VDX API for Java

Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Fast online pointer analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Reducing stack usage in Java bytecode execution

ACM SIGARCH Computer Architecture News
Quantitative resource-oriented analysis of Java (Adaptable) applications

WOSP '07 Proceedings of the 6th international workshop on Software and performance
A flexible model for dynamic linking in Java and C#

Theoretical Computer Science
Reverse-engineering 1-n associations from Java bytecode using alias analysis

Information and Software Technology
Pep8CPU: a programmable simulator for a central processing unit

Proceedings of the 38th SIGCSE technical symposium on Computer science education
Resurrecting the applet paradigm

Proceedings of the 38th SIGCSE technical symposium on Computer science education
Programming with exceptions in JCilk

Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Versioned boxes as the basis for memory transactions

Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
A machine code model for efficient advice dispatch

Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms
A simple model and a distributed architecture for realizing one-stop e-government

Electronic Commerce Research and Applications
Dynamic updates: another middleware service?

MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
JIST: Just-In-Time scheduling translation for parallel processors

Scientific Programming
Incorporating Intel® MMX$^{\rm TM}$ technology into a Java$^{\rm TM}$ JIT compiler$^{1}$

Scientific Programming
The cost of being object-oriented: A preliminary study

Scientific Programming
Transient variable caching in Java’s stack-based intermediate representation

Scientific Programming
U-Net/SLE: A Java-based user-customizable virtual network interface

Scientific Programming
An empirical study of Java bytecode programs

Software—Practice & Experience
Practical software reuse for IBM System z I/O subsystems

IBM Journal of Research and Development
Decentralized enforcement of security policies for distributed computational systems

Proceedings of the 2007 ACM symposium on Applied computing
Real-time Java processor optimized for RTSJ

Proceedings of the 2007 ACM symposium on Applied computing
Application-specific garbage collection

Journal of Systems and Software
An in-depth look at the architecture of an object/relational mapper

Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Stack virtualization for source level debugging

Software—Practice & Experience
Secure object flow analysis for java card

CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5
Detecting malicious java code using virtual machine auditing

SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Building an "impossible" verifier on a java card

WIESS'02 Proceedings of the 2nd conference on Industrial Experiences with Systems Software - Volume 2
A type system for preventing data races and deadlocks in the java virtual machine language: 1

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Cloneable JVM: a new approach to start isolated java applications faster

Proceedings of the 3rd international conference on Virtual execution environments
Automatic feedback-directed object inlining in the java hotspot™ virtual machine

Proceedings of the 3rd international conference on Virtual execution environments
Speculative optimization using hardware-monitored guarded regions for java virtual machines

Proceedings of the 3rd international conference on Virtual execution environments
Design, implementation, and evaluation of a compilation server

ACM Transactions on Programming Languages and Systems (TOPLAS)
LIL: an architecture-neutral language for virtual-machine stubs

VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
Detecting data races using dynamic escape analysis based on read barrier

VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
JavaTM just-in-time compiler and virtual machine improvements for server and middleware applications

VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
BIT: a tool for instrumenting java bytecodes

USITS'97 Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems
Going beyond the sandbox: an overview of the new security architecture in the javaTM development Kit 1.2

USITS'97 Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems
Techniques for the design of java operating systems

ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
SableVM: a research framework for the efficient execution of java bytecode

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Dynamic type checking in jalapeño

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Proof linking: distributed verification of java classfiles in the presence of multiple classloaders

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
An executable formal java virtual machine thread model

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
TRaDe, a topological approach to on-the-fly race detection in java programs

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Using production grammars in software testing

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Typed common intermediate format

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
The design and implementation of Guaraná

COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Tuning branch predictors to support virtual method invocation in java

COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Comprehensive profiling support in the javaTM virtual machine

COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
The design and performance of MedJava: a distributed electronic medical imaging system developed with java applets and web tools

COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Harissa: a flexible and efficient java environment mixing bytecode and compiled code

COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
Pickling state in the javaTM system

COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Multi-dispatch in the Java virtual machine: design and implementation

COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Deducing similarities in Java sources from bytecodes

ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Implementing multiple protection domains in java

ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Runtime Checking of UML Association-Related Constraints

WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments

IEEE Transactions on Software Engineering
Java visual debugger

ACM SIGCSE Bulletin
A virtual machine for sensor networks

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Concierge: a service platform for resource-constrained devices

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Interactive, scalable, declarative program analysis: from prototype to implementation

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Reasoning about safety properties in a JVM-like environment

Science of Computer Programming
PSATSim: an interactive graphical superscalar architecture simulator for power and performance analysis

WCAE '06 Proceedings of the 2006 workshop on Computer architecture education: held in conjunction with the 33rd International Symposium on Computer Architecture
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode

Electronic Notes in Theoretical Computer Science (ENTCS)
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking

Electronic Notes in Theoretical Computer Science (ENTCS)
Bytecode Rewriting in Tom

Electronic Notes in Theoretical Computer Science (ENTCS)
Experiments in Cost Analysis of Java Bytecode

Electronic Notes in Theoretical Computer Science (ENTCS)
BrowserShield: Vulnerability-driven filtering of dynamic HTML

ACM Transactions on the Web (TWEB)
Instruction-level security analysis for information flow in stack-based assembly languages

Information and Computation
Automated bug isolation via program chipping

Software—Practice & Experience
An empirical study of cycles among classes in Java

Empirical Software Engineering
Abstraction in Computer Science

Minds and Machines
Lightweight flexible isolation for language-based extensible systems

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Tactics for minimal interference from class loading in real-time Java™

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Architecture for object-oriented programming languages

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Towards a Java multiprocessor

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Enabling constant-time interface method dispatch in embedded Java processors

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
picoJava-II in an FPGA

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Scratch-pad memory allocation without compiler support for java applications

CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
A simplified java bytecode compilation system for resource-constrained embedded processors

CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
A cross-language framework for developing AJAX applications

Proceedings of the 5th international symposium on Principles and practice of programming in Java
Implementing fast JVM interpreters using Java itself

Proceedings of the 5th international symposium on Principles and practice of programming in Java
The potential of speculative class-loading

Proceedings of the 5th international symposium on Principles and practice of programming in Java
Investigation of failure causes in workload-driven reliability testing

Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Heap space analysis for java bytecode

Proceedings of the 6th international symposium on Memory management
Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast

Proceedings of the 6th international symposium on Memory management
Starc: static analysis for efficient repair of complex data

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Tracking bad apples: reporting the origin of null and undefined value errors

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
RPython: a step towards reconciling dynamically and statically typed OO languages

Proceedings of the 2007 symposium on Dynamic languages
BrowserShield: vulnerability-driven filtering of dynamic HTML

OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
XFI: software guards for system address spaces

OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
Reducing runtime complexity of long-running application services via dynamic profiling and dynamic bytecode adaptation for improved quality of service

Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
Object co-location and memory reuse for Java programs

ACM Transactions on Architecture and Code Optimization (TACO)
Exceptional situations and program reliability

ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic slicing on Java bytecode traces

ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobile JikesRVM: A framework to support transparent Java thread migration

Science of Computer Programming
A principled approach to nondeferred reference-counting garbage collection

Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Foundational certified code in the Twelf metalogical framework

ACM Transactions on Computational Logic (TOCL)
Automatic array inlining in java virtual machines

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
Phase-based adaptive recompilation in a JVM

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
Removing redundancy via exception check motion

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
Curl: a language for web content

International Journal of Web Engineering and Technology
Hype and virtue

HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
Recoverable class loaders for a fast restart of Java applications

Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
Type-based information flow analysis for bytecode languages with variable object field policies

Proceedings of the 2008 ACM symposium on Applied computing
Removing useless variables in cost analysis of Java bytecode

Proceedings of the 2008 ACM symposium on Applied computing
A Java processor architecture for embedded real-time systems

Journal of Systems Architecture: the EUROMICRO Journal
Optimization strategies for a java virtual machine interpreter on the cell broadband engine

Proceedings of the 5th conference on Computing frontiers
ReBA: refactoring-aware binary adaptation of evolving libraries

Proceedings of the 30th international conference on Software engineering
Design of the Java HotSpot™ client compiler for Java 6

ACM Transactions on Architecture and Code Optimization (TACO)
Optimized, decentralized workflow execution in grid environments

Multiagent and Grid Systems - Special Issue on "Advances in Grid services Engineering and Management"
Impact of JVM superoperators on energy consumption in resource-constrained embedded systems

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Static path conditions for Java

Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
An extended CAP file to support high performance embedded java

ICECS'03 Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing
Checking type safety of foreign function calls

ACM Transactions on Programming Languages and Systems (TOPLAS)
Java bytecode verification via static single assignment form

ACM Transactions on Programming Languages and Systems (TOPLAS)
Program transformations for light-weight CPU accounting and control in the Java virtual machine

Higher-Order and Symbolic Computation
Genericity in Java: persistent and database systems implications

The VLDB Journal — The International Journal on Very Large Data Bases
WebLogic event server: a lightweight, modular application server for event processing

Proceedings of the second international conference on Distributed event-based systems
Refinement for Pipelining in Event-B

Electronic Notes in Theoretical Computer Science (ENTCS)
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Power laws in software

ACM Transactions on Software Engineering and Methodology (TOSEM)
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation

ACM Transactions on Software Engineering and Methodology (TOSEM)
A quantitative analysis of the .NET common language runtime

Journal of Systems Architecture: the EUROMICRO Journal
A predecoding technique for ILP exploitation in Java processors

Journal of Systems Architecture: the EUROMICRO Journal
Towards proving type safety of .NET CIL

Science of Computer Programming
Safe device driver model based on kernel-mode JVM

VTDC '07 Proceedings of the 2nd international workshop on Virtualization technology in distributed computing
Revitalizing the computer organization course with the Java virtual machine

Journal of Computing Sciences in Colleges
Balancing computation and communication costs: The case for hybrid execution in sensor networks

Ad Hoc Networks
Self-configuring object-to-relational mapping queries

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Portable execution of legacy binaries on the Java virtual machine

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Speculative improvements to verifiable bounds check elimination

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Constraint based optimization of stationary fields

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Optimized strings for the Java HotSpot™ virtual machine

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Embedded typesafe domain specific languages for Java

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Local variable access behavior of a hardware-translation based Java virtual machine

Journal of Systems and Software
Parallelization of C# Programs Through Annotations

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity

FM '08 Proceedings of the 15th international symposium on Formal Methods
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Uniform Transactional Execution Environment for Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Computing Stack Maps with Interfaces

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
The Trusted Execution Module: Commodity General-Purpose Trusted Computing

CARDIS '08 Proceedings of the 8th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Using EventB to Create a Virtual Machine Instruction Set Architecture

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Time-predictable memory arbitration for a Java chip-multiprocessor

JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Whiteoak: introducing structural typing into java

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Mixing source and bytecode: a case for compilation by normalization

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Analysis and reduction of memory inefficiencies in Java strings

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Cache-aware cross-profiling for java processors

CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Decomposing bytecode verification by abstract interpretation

ACM Transactions on Programming Languages and Systems (TOPLAS)
VEP: a virtual machine for extended proof-carrying code

Proceedings of the 1st ACM workshop on Virtual machine security
Introducing TakaTuka: a Java virtualmachine for motes

Proceedings of the 6th ACM conference on Embedded network sensor systems
Designing highly flexible virtual machines: the JnJVM experience

Software—Practice & Experience
Darjeeling, a Java compatible virtual machine for microcontrollers

Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion
Algorithms and tool support for dynamic information flow analysis

Information and Software Technology
Exploiting an abstract-machine-based framework in the design of a Java ILP processor

Journal of Systems Architecture: the EUROMICRO Journal
Class invariants as abstract interpretation of trace semantics

Computer Languages, Systems and Structures
Program Models for Compositional Verification

ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Software Manipulation with Annotations in Java

Advances in Software Engineering
The MOBIUS Proof Carrying Code Infrastructure

Formal Methods for Components and Objects
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

Formal Methods for Components and Objects
Scala Actors: Unifying thread-based and event-based programming

Theoretical Computer Science
Embedding verifiable information flow analysis

Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Recoverable class loaders for a fast restart of Java applications

Mobile Networks and Applications
Virtual machine for implementing the ESPL programming language

DNCOCO'08 Proceedings of the 7th conference on Data networks, communications, computers
GCH: Hints for Triggering Garbage Collections

Transactions on High-Performance Embedded Architectures and Compilers I
Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model

Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
Leak pruning

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Tracing for web 3.0: trace compilation for the next generation web applications

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Java memory model aware software validation

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Adaptable architectural middleware for programming-in-the-small-and-many

Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Byte code level cross-compilation for developing web applications

Science of Computer Programming
Efficient compilation for queue size constrained queue processors

Parallel Computing
Diversification of Processors Based on Redundancy in Instruction Set

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Reconfigurable Processor Infrastructure for Accelerating Java Applications

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns

IEICE - Transactions on Information and Systems
Dynamic update of Java applications—balancing change flexibility vs programming transparency

Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on the 12th Conference on Software Maintenance and Reengineering (CSMR 2008)
Security benchmarks of OSGi platforms: toward Hardened OSGi

Software—Practice & Experience
Model-based reasoning on the achievement of business goals

Proceedings of the 2009 ACM symposium on Applied Computing
Improving static resolution of dynamic class loading in Java using dynamically gathered environment information

Automated Software Engineering
From Pāninian Sandhi to Finite State Calculus

Sanskrit Computational Linguistics
Implementation Aspects of Mobile and Embedded Trusted Computing

Trust '09 Proceedings of the 2nd International Conference on Trusted Computing
A Light-Weight Approach to Dynamical Runtime Linking Supporting Heterogenous, Parallel, and Reconfigurable Architectures

ARCS '09 Proceedings of the 22nd International Conference on Architecture of Computing Systems
CHR for Imperative Host Languages

Constraint Handling Rules
Live heap space analysis for languages with garbage collection

Proceedings of the 2009 international symposium on Memory management
Extending types to modeling problem-space entities

The New Review of Hypermedia and Multimedia
A typed intermediate language for supporting interfaces

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
A method for detecting the theft of Java programs through analysis of the control flow information

Information and Software Technology
Revision classes for explicit versioning

Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Compiling generics through user-directed type specialization

Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Thread and execution-context specific barriers via dynamic method versioning

Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Genetic programming in the wild: evolving unrestricted bytecode

Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java

Science of Computer Programming
Feature-oriented runtime adaptation

Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
Analyzing performance and dynamic behavior of embedded Java software with calling-context cross-profiling

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
SlimVM: a small footprint Java virtual machine for connected embedded systems

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Lazy continuations for Java virtual machines

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Secure Method Calls by Instrumenting Bytecode with Aspects

Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII
Failboxes: Provably Safe Exception Handling

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Security Monitor Inlining for Multithreaded Java

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Formal Certification of a Resource-Aware Language Implementation

TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Providing temporal isolation in the OSGi framework

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
A predictable Java profile: rationale and implementations

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
JavaGI in the battlefield: practical experience with generalized interfaces

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Bluetooth Application Programming with the Java APIs Essentials Edition

Bluetooth Application Programming with the Java APIs Essentials Edition
Groovy package templates: supporting reuse and runtime adaption of class hierarchies

DLS '09 Proceedings of the 5th symposium on Dynamic languages
Darjeeling, a feature-rich VM for the resource poor

Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Java active extensions: Scalable middleware for performance-isolated remote execution

Computer Communications
Thread migration techniques on Java virtual machine

PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
On performance of delegation in Java

Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
User-Definable Resource Usage Bounds Analysis for Java Bytecode

Electronic Notes in Theoretical Computer Science (ENTCS)
Experiments with Non-Termination Analysis for Java Bytecode

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards an XML-based Bytecode Level Transformation Framework

Electronic Notes in Theoretical Computer Science (ENTCS)
Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Soundly Handling Static Fields: Issues, Semantics and Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Architecture and software support in IBM S/390 parallel enterprise servers for IEEE floating-point arithmetic

IBM Journal of Research and Development
Secure distribution of confidential information via self-destructing data

DNCOCO'09 Proceedings of the 8th WSEAS international conference on Data networks, communications, computers
Cross-profiling for Java processors

Software—Practice & Experience
Termination and Cost Analysis with COSTA and its User Interfaces

Electronic Notes in Theoretical Computer Science (ENTCS)
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs

FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
A Certified Implementation on Top of the Java Virtual Machine

FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Field-Sensitive Value Analysis by Field-Insensitive Analysis

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine

APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Class loading issues in Java™ RMI and Jini™ network technology

Class loading issues in Java™ RMI and Jini™ network technology
Introspection of a Java™ virtual machine under simulation

Introspection of a Java™ virtual machine under simulation
FreeTTS: a performance case study

FreeTTS: a performance case study
Design of JFluid: a profiling technology and tool based on dynamic bytecode instrumentation

Design of JFluid: a profiling technology and tool based on dynamic bytecode instrumentation
An object-aware memory architecture

An object-aware memory architecture
Efficient off-board deployment and customization of virtual machine-based embedded systems

ACM Transactions on Embedded Computing Systems (TECS)
A practical look at micro-kernels and virtual machine monitors

CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
Structural Encoding of Static Single Assignment Form

Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Interpretation-based Approach to Mobile Code Safety

Electronic Notes in Theoretical Computer Science (ENTCS)
JVM Independent Replay in Java

Electronic Notes in Theoretical Computer Science (ENTCS)
jMonitor: Java Runtime Event Specification and Monitoring Library

Electronic Notes in Theoretical Computer Science (ENTCS)
A Verifier for Region-Annotated Java Bytecodes

Electronic Notes in Theoretical Computer Science (ENTCS)
JVM Bytecode Verification Without Dataflow Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Kleene Algebra and Bytecode Verification

Electronic Notes in Theoretical Computer Science (ENTCS)
A Space-Aware Bytecode Verifier for Java Cards

Electronic Notes in Theoretical Computer Science (ENTCS)
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine

Electronic Notes in Theoretical Computer Science (ENTCS)
Java Bytecode Transformations for Efficient, Portable CPU Accounting

Electronic Notes in Theoretical Computer Science (ENTCS)
Flexible Bytecode for Linking in .NET

Electronic Notes in Theoretical Computer Science (ENTCS)
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Integrated Java Bytecode Verification

Electronic Notes in Theoretical Computer Science (ENTCS)
Mnemonics: type-safe bytecode generation at run time

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
PET: a partial evaluation-based test case generation tool for Java bytecode

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Temporal Assertions using AspectJ

Electronic Notes in Theoretical Computer Science (ENTCS)
Using Bytecode Instruction Counting as Portable CPU Consumption Metric

Electronic Notes in Theoretical Computer Science (ENTCS)
The Linear Logical Abstract Machine

Electronic Notes in Theoretical Computer Science (ENTCS)
A termination analyzer for Java bytecode based on path-length

ACM Transactions on Programming Languages and Systems (TOPLAS)
Satin: A high-level and efficient grid programming model

ACM Transactions on Programming Languages and Systems (TOPLAS)
Virtual class support at the virtual machine level

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Bytecodes meet combinators: invokedynamic on the JVM

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Intermediate language design of high-level language virtual machines: towards comprehensive concurrency support

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Implementation and performance of a dynamic-content based cache for a backend database server

SE '08 Proceedings of the IASTED International Conference on Software Engineering
Provably correct inline monitoring for multithreaded Java-like programs

Journal of Computer Security - EU-Funded ICT Research on Trust and Security
The pep/8 memory tracer: visualizing activation records on the run-time stack

Proceedings of the 41st ACM technical symposium on Computer science education
VMKit: a substrate for managed runtime environments

Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Verifying safety properties of concurrent heap-manipulating programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Isolating untrusted software extensions by custom scoping rules

Computer Languages, Systems and Structures
Type based adaptation: an adaptation approach for dynamic distributed systems

SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Preliminary design of BML: a behavioral interface specification language for java bytecode

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Class-level modular analysis for object oriented languages

SAS'03 Proceedings of the 10th international conference on Static analysis
Selective tail call elimination

SAS'03 Proceedings of the 10th international conference on Static analysis
An efficient optimization algorithm of java bytecode to reduce network traffic

ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Cost analysis of java bytecode

ESOP'07 Proceedings of the 16th European conference on Programming
An information flow verifier for small embedded systems

WISTP'07 Proceedings of the 1st IFIP TC6 /WG8.8 /WG11.2 international conference on Information security theory and practices: smart cards, mobile and ubiquitous computing systems
Actors that unify threads and events

COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Applet verification strategies for RAM-constrained devices

ICISC'02 Proceedings of the 5th international conference on Information security and cryptology
Types and effects for non-interfering program monitors

ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Enforcing Java run-time properties using bytecode rewriting

ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Typing one-to-one and one-to-many correspondences in security protocols

ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Computer security from a programming language and static analysis perspective

ESOP'03 Proceedings of the 12th European conference on Programming
Flexible models for dynamic linking

ESOP'03 Proceedings of the 12th European conference on Programming
Precision in practice: a type-preserving java compiler

CC'03 Proceedings of the 12th international conference on Compiler construction
Effective inline-threaded interpretation of Java bytecode using preparation sequences

CC'03 Proceedings of the 12th international conference on Compiler construction
Using metaphors in game-based education

Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
Linear scan register allocation on SSA form

Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization
Using abstract interpretation to add type checking for interfaces in Java bytecode verification

Theoretical Computer Science
Using abstract interpretation to add type checking for interfaces in Java bytecode verification

Theoretical Computer Science
Managing concern interactions in middleware

DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
JACK: a tool for validation of security and behaviour of Java applications

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Policies and proofs for code auditing

ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Worst-case execution time analysis for a Java processor

Software—Practice & Experience
Schedulable online testing framework for real-time embedded applications in VM

EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Design and implementation of the decompiler for virtual machine code of the C++ compiler in the ubiquitous game platform

ICHIT'06 Proceedings of the 1st international conference on Advances in hybrid information technology
The influence of data implementation in the performance of evolutionary algorithms

EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Array modeling in Java virtual machine

APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
An experimental environment validating the suitability of CLI as an effective deployment format for embedded systems

HiPEAC'08 Proceedings of the 3rd international conference on High performance embedded architectures and compilers
CoqJVM: an executable specification of the Java virtual machine using dependent types

TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Java bytecode verification for @NonNull types

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Static analysis via abstract interpretation of the happens-before memory model

TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Component-based access control: secure software composition through static analysis

SC'08 Proceedings of the 7th international conference on Software composition
Extending operational semantics of the Java bytecode

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Enhancing Java security with history based access control

Foundations of security analysis and design IV
Inferable object-oriented typed assembly language

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
On the use of computational geometry to detect software faults at runtime

Proceedings of the 7th international conference on Autonomic computing
Efficient, context-sensitive detection of real-world semantic attacks

PLAS '10 Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
A real-time Java chip-multiprocessor

ACM Transactions on Embedded Computing Systems (TECS)
Processor virtualization and split compilation for heterogeneous multicore embedded systems

Proceedings of the 47th Design Automation Conference
Compact and efficient strings for Java

Science of Computer Programming
Automatic feedback-directed object fusing

ACM Transactions on Architecture and Code Optimization (TACO)
Optimizing invokedynamic

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Dynamic code evolution for Java

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Efficient coroutines for the Java platform

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Cross-compiling Android applications to the iPhone

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
An llVM backend for GHC

Proceedings of the third ACM Haskell symposium on Haskell
CloudEdge: a content delivery system for storage service in cloud environment

International Journal of Ad Hoc and Ubiquitous Computing
Towards customizable, application specific mobile trusted modules

Proceedings of the fifth ACM workshop on Scalable trusted computing
Designing a java microcontroller to specific applications

SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Composition of dynamic analysis aspects

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
ABI compatibility through a customizable language

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Integrating the Havana agent platform into the existing web infrastructure

International Journal of Wireless and Mobile Computing
Factor: a dynamic stack-based programming language

Proceedings of the 6th symposium on Dynamic languages
From object fields to local variables: a practical approach to field-sensitive analysis

SAS'10 Proceedings of the 17th international conference on Static analysis
Capabilities for uniqueness and borrowing

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
CompTalks: from a meta-model towards a framework for application-level interaction protocols

Euro-Par'09 Proceedings of the 2009 international conference on Parallel processing
A space consumption analysis by abstract interpretation

FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
The SSP: an example of high-assurance systems engineering

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Optimizing aspect-oriented mechanisms for embedded applications

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
A self-destructing file distribution system with feedback for peer-to-peer networks

ACS'09 Proceedings of the 9th WSEAS international conference on Applied computer science
Babylon v2.0: middleware for distributed, parallel, and mobile java applications

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Soot: a Java bytecode optimization framework

CASCON First Decade High Impact Papers
A framework for optimizing Java using attributes

CASCON First Decade High Impact Papers
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adapting software fault isolation to contemporary CPU architectures

USENIX Security'10 Proceedings of the 19th USENIX conference on Security
The nullness analyser of JULIA

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Modeling procedural knowledge: a generative modeler for cultural heritage

EuroMed'10 Proceedings of the Third international conference on Digital heritage
Exploitation of multicore systems in a java virtual machine

IBM Journal of Research and Development
Towards performance measurements for the Java Virtual Machine's invokedynamic

Virtual Machines and Intermediate Languages
The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing

Virtual Machines and Intermediate Languages
Encoding the Java Virtual Machine's Instruction Set

Electronic Notes in Theoretical Computer Science (ENTCS)
A Dozen Instructions Make Java Bytecode

Electronic Notes in Theoretical Computer Science (ENTCS)
Portable worst-case execution time analysis using Java byte code

Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
JNI light: an operational model for the core JNI

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Sawja: static analysis workshop for java

FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Polymorphic bytecode instrumentation

Proceedings of the tenth international conference on Aspect-oriented software development
Towards a domain-specific aspect language for dynamic program analysis: position paper

Proceedings of the sixth annual workshop on Domain-specific aspect languages
Thread management in Mashup execution platforms

Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Termination graphs for Java bytecode

Verification, induction termination analysis
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance

ACM Transactions on Programming Languages and Systems (TOPLAS)
An extended proof-carrying code framework for security enforcement

Transactions on computational science XI
Inference of field initialization

Proceedings of the 33rd International Conference on Software Engineering
Building and using pluggable type-checkers

Proceedings of the 33rd International Conference on Software Engineering
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language

Proceedings of the 33rd International Conference on Software Engineering
Termination graphs for Java bytecode

Verification, induction termination analysis
The RDF virtual machine

Knowledge-Based Systems
Separating different responsibilities into parallel hierarchies

Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Language-independent sandboxing of just-in-time compilation and self-modifying code

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Precise null-pointer analysis

Software and Systems Modeling (SoSyM)
On designing safe and flexible embedded DSLs with Java 5

Science of Computer Programming
Comprehensive aspect weaving for Java

Science of Computer Programming
Pervasive parallelism for managed runtimes

HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Custom-made instrumentation based on static analysis

Proceedings of the Ninth International Workshop on Dynamic Analysis
On the extent and nature of software reuse in open source Java projects

ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
RJOP: a customized Java processor for reactive embedded systems

Proceedings of the 48th Design Automation Conference
Related types

Proceedings of the 25th European conference on Object-oriented programming
Logic Java: combining object-oriented and logic programming

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Magic-sets for localised analysis of Java bytecode

Higher-Order and Symbolic Computation
Bytecode testability transformation

SSBSE'11 Proceedings of the Third international conference on Search based software engineering
A Hardware Abstraction Layer in Java

ACM Transactions on Embedded Computing Systems (TECS)
The jabberwocky programming environment for structured social computing

Proceedings of the 24th annual ACM symposium on User interface software and technology
Trustworthy numerical computation in Scala

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Hybrid partial evaluation

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Safe and atomic run-time code evolution for Java and its application to dynamic AOP

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Multiagent systems protection

Advances in Software Engineering
Offline GC: trashing reachable objects on tiny devices

Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines

Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM

Electronic Notes in Theoretical Computer Science (ENTCS)
AMaχoS: abstract machine for Xcerpt: architecture

PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Mnemonics: type-safe bytecode generation at run time

Higher-Order and Symbolic Computation
Language support for asynchronous event handling in the invocation call stack

Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Garbage collection in an embedded java virtual machine

KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Jazz2: a flexible and extensible framework for structural testing in a Java VM

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Eliminating partially-redundant array-bounds check in the Android Dalvik JIT compiler

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Trace-based compilation for the Java HotSpot virtual machine

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
A low-footprint java-to-native compilation scheme using formal methods

CARDIS'06 Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Can out-of-order instruction execution in multiprocessors be made sequentially consistent?

NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
Resource bound certification for a tail-recursive virtual machine

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Romization: early deployment and customization of java systems for constrained devices

CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Dependent interoperability

PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Reducing memory sharing overheads in distributed JVMs

HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Tokenisation and compression of Java class files

Journal of Systems Architecture: the EUROMICRO Journal
Towards a formal semantics for aspectj weaving

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Application-Driven customization of an embedded java virtual machine

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A hardware/software co-design and co-verification on a novel embedded object-oriented processor

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Strong mobility for FIPA compliant multi-agent systems

PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Java type confusion and fault attacks

FDTC'06 Proceedings of the Third international conference on Fault Diagnosis and Tolerance in Cryptography
Higher-order program verification and language-based security

ASIAN'09 Proceedings of the 13th Asian conference on Advances in Computer Science: information Security and Privacy
Lightweight modeling of java virtual machine security constraints

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Reflections on trust: trust assurance by dynamic discovery of static properties

FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
Mobile resource guarantees for smart devices

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
A mechanism for secure, fine-grained dynamic provisioning of applications on small devices

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Information flow analysis for java bytecode

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
An embedded systems programming environment for c

Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Extending standard java runtime systems for resource management

SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Using inter-procedural side-effect information in JIT optimizations

CC'05 Proceedings of the 14th international conference on Compiler Construction
Opportunities for CBR in learning by doing

ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
A no-compromises architecture for digital document preservation

ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
Learning-by-Doing through metaphorical simulation

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
A framework for certified program analysis and its applications to mobile-code safety

VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
DDGacc: boosting dynamic DDG-based binary optimizations through specialized hardware support

VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments
Injecting communication faults to experimentally validate java distributed applications

ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
A type system for computationally secure information flow

FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Transparent fault tolerance for grid applications

EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
V→M: a virtual machine for strict evaluation of (co) recursive functions

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Simple, effective code-size reduction for functional programs

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
A p2p approach to classloading in java

AP2PC'03 Proceedings of the Second international conference on Agents and Peer-to-Peer Computing
Cross-Language functional testing for middleware

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
JaBEE: framework for object-oriented Java bytecode compilation and execution on graphics processor units

Proceedings of the 5th Annual Workshop on General Purpose Processing with Graphics Processing Units
Enabling mobile agents interoperability through FIPA standards

CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Static type analysis of pattern matching by abstract interpretation

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Optimized java binary and virtual machine for tiny motes

DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Model-Driven engineering of machine executable code

ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Dynamic instrumentation of distributed java applications using bytecode modifications

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Using metadata transformations to integrate class extensions in an existing class hierarchy

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Idea: enforcing consumer-specified security properties for modular software

ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
Verifying a compiler for java threads

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Attacks on java card 3.0 combining fault and logical attacks

CARDIS'10 Proceedings of the 9th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Application
Anonymous credentials for java enabled platforms: a performance evaluation

INTRUST'09 Proceedings of the First international conference on Trusted Systems
Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform

Computer Methods and Programs in Biomedicine
Synchronized attacks on multithreaded systems - application to java card 3.0 -

CARDIS'11 Proceedings of the 10th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Java card operand stack: fault attacks, combined attacks and countermeasures

CARDIS'11 Proceedings of the 10th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
jCT: A Java Code Tomograph

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Efficient and formal generalized symbolic execution

Automated Software Engineering
HISC: A computer architecture using operand descriptor

Computers and Electrical Engineering
Tailor-made JVMs for statically configured embedded systems

Concurrency and Computation: Practice & Experience
Automatic inference of resource consumption bounds

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Rethinking Java call stack design for tiny embedded devices

Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs

Proceedings of the 2012 international symposium on Memory Management
InvokeDynamic support in Soot

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Reachability analysis of program variables

IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Automated detection of non-termination and nullpointerexceptions for Java Bytecode

FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Application-Only call graph construction

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Test generation via symbolic simulation

ACM SIGSOFT Software Engineering Notes
Tools to generate and check consistency of model classes for Java PathFinder

ACM SIGSOFT Software Engineering Notes
Modular implementation of dynamic algorithm switching in parallel simulations

Cluster Computing
Increasing the efficiency of an embedded multi-core bytecode processor using an object cache

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Test-case generation and bug-finding through symbolic execution

Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Certification tools of ubiquitous mobile platform

UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
Magic-sets transformation for the analysis of java bytecode

SAS'07 Proceedings of the 14th international conference on Static Analysis
Retargeting Android applications to Java bytecode

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Dynamic information flow control architecture for web applications

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
A machine model for aspect-oriented programming

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Definite expression aliasing analysis for java bytecode

ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Software transactional memories for Scala

Journal of Parallel and Distributed Computing
Jarhead analysis and detection of malicious Java applets

Proceedings of the 28th Annual Computer Security Applications Conference
Modeling the Java Bytecode Verifier

Science of Computer Programming
Dynamic aspect-oriented programming in java: the hotwave experience

Transactions on Aspect-Oriented Software Development IX
A study on optimization techniques for the smart virtual machine platform

FGIT'12 Proceedings of the 4th international conference on Future Generation Information Technology
Predicting method crashes with bytecode operations

Proceedings of the 6th India Software Engineering Conference
Multitasking without compromise: a virtual machine evolution

ACM SIGPLAN Notices - Supplemental issue
Unrestricted and safe dynamic code evolution for Java

Science of Computer Programming
Java card combined attacks with localization-agnostic fault injection

CARDIS'12 Proceedings of the 11th international conference on Smart Card Research and Advanced Applications
A comprehensive toolchain for workload characterization across JVM languages

Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Reducing startup time of a deterministic virtualizing runtime environment

Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
@Java: annotations in freedom

Proceedings of the 28th Annual ACM Symposium on Applied Computing
Intermediate representations in imperative compilers: A survey

ACM Computing Surveys (CSUR)
A heuristiclab evolutionary algorithm for FINCH

Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Performance analysis and predictability of the software layer in dynamic binary translators/optimizers

Proceedings of the ACM International Conference on Computing Frontiers
Cloud platforms and embedded computing: the operating systems of the future

Proceedings of the 50th Annual Design Automation Conference
Cross-compiling Java to JavaScript via tool-chaining

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Golo, a dynamic, light and efficient language for post-invokedynamic JVM

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
The dog programming language

Proceedings of the 26th annual ACM symposium on User interface software and technology
Class hierarchy complementation: soundly completing a partial type graph

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Binary-code obfuscations in prevalent packer tools

ACM Computing Surveys (CSUR)
INSPIRE: the insieme parallel intermediate representation

PACT '13 Proceedings of the 22nd international conference on Parallel architectures and compilation techniques
Enabling modularity and re-use in dynamic program analysis tools for the java virtual machine

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Averroes: whole-program analysis without the whole program

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Reachability analysis of program variables

ACM Transactions on Programming Languages and Systems (TOPLAS)
JBInsTrace: A tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode

Science of Computer Programming
An intermediate representation for speculative optimizations in a dynamic compiler

Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages
DIVILAR: diversifying intermediate language for anti-repackaging on android platform

Proceedings of the 4th ACM conference on Data and application security and privacy
Runtime verification using policy-based approach to control information flow

International Journal of Security and Networks

Quantified Score

Hi-index	0.06

Visualization

Abstract

From the Publisher:The nucleus of the Java 2 platform, the Java virtual machine is the technology that enables the Java 2 platform to host applications on any computer or operating system without rewriting or recompiling. This book was written by those directly responsible for the design and implementation of the Java virtual machine, and is the complete and definitive specification for the technology. It is an essential reference for writers of compilers for the Java programming language and implementors of the Java virtual machine. This second edition specifies the newest version of the Java virtual machine and provides a fascinating view into the inner workings of the Java 2 platform.