The Java Language Specification

Authors:
James Gosling;Bill Joy;Guy L. Steele
Affiliations:
-;-;-
Venue:
The Java Language Specification
Year:
1996

Citing 0
Cited 942

On the systematic design of Web languages

ACM Computing Surveys (CSUR)
Vortex: an optimizing compiler for object-oriented languages

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Semantic-based visualization for parallel object-oriented programming

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Implementing signatures for C++

ACM Transactions on Programming Languages and Systems (TOPLAS)
Bad engineering properties of object-orient languages

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Databases on the Web: technologies for federation architectures and case studies

SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Animation for performance debugging of parallel computing systems

VRML '97 Proceedings of the second symposium on Virtual reality modeling language
Controlling activities in a virtual manufacturing cell

WSC '96 Proceedings of the 28th conference on Winter simulation
Using content-derived names for configuration management

Proceedings of the 1997 symposium on Software reusability
UCL+P—Defining and Implementing Persistent Common Lisp

Lisp and Symbolic Computation
Implementing bit-addressing with specialization

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Programming languages for mobile code

ACM Computing Surveys (CSUR)
Pizza into Java: translating theory into practice

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parasitic methods: an implementation of multi-methods for Java

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient dynamic dispatch without virtual function tables: the SmallEiffel compiler

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ephemerons: a new finalization mechanism

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The ODMG object model: does it make sense?

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Class hierarchy specialization

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Connection closures adding application-defined behaviour to network connections

ACM SIGCOMM Computer Communication Review
Call graph construction in object-oriented languages

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The security of static typing with dynamic linking

Proceedings of the 4th ACM conference on Computer and communications security
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
Javalight is type-safe—definitely

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Classes and mixins

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Manufacturing cheap, resilient, and stealthy opaque constructs

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast interprocedural class analysis

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Barrier inference

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
A comparison of the object-oriented features of Ada 95 and Java

Proceedings of the conference on TRI-Ada '97
Ada-Java communication in ADEPT

Proceedings of the conference on TRI-Ada '97
The Java factor

Communications of the ACM
Automatic creation of hypervideo news libraries for the World Wide Web

Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Design and specification of embedded systems in Java using successive, formal refinement

DAC '98 Proceedings of the 35th annual Design Automation Conference
Software synthesis of process-based concurrent programs

DAC '98 Proceedings of the 35th annual Design Automation Conference
Partial online cycle elimination in inclusion constraint graphs

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Using “test model-checking” to verify the Runway-PA8000 memory model

Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Units: cool modules for HOT languages

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Thin locks: featherweight synchronization for Java

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
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
Memory management with explicit regions

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
Scalable on-the-fly detection of the first races in parallel programs

ICS '98 Proceedings of the 12th international conference on Supercomputing
Kinds of language, kinds of learning

ACM SIGPLAN Notices
A hardware/software prototyping environment for dynamically reconfigurable embedded systems

Proceedings of the 6th international workshop on Hardware/software codesign
Webs of Archived Distributed Computations for Asynchronous Collaboration

The Journal of Supercomputing - Special issue: high performance distributed computing
An enhanced 3-D animation tool for performance tuning of parallel programs based on dynamic models

SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
The software bookshelf

IBM Systems Journal
MPEG-4: an object-based multimedia coding standard supporting mobile applications

Mobile Networks and Applications - Special issue: mobile multimedia communications
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
Ownership types for flexible alias protection

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
Lightweight object-oriented shared variables for distributed applications on the Internet

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Reasoning about Java classes: preliminary report

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
Multiple dispatch as dispatch on Tuples

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Contraint-based polymorphism in Cecil: towards a practical and static type system

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
StratOSphere: mobile processing of distributed objects in Java

MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Toward a formal theory of extensible software

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
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
The marriage of effects and monads

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
PLAN: a packet language for active networks

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Modular object-oriented programming with units and mixins

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Implementing typed intermediate languages

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
RAPID: a free, portable GUI design tool

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Segregating heap objects by reference behavior and lifetime

Proceedings of the eighth international conference on Architectural support for programming languages and operating systems
Principality and decidable type inference for finite-rank intersection types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
JFlow: practical mostly-static information flow control

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alma-O: an imperative language that supports declarative programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Equality-based flow analysis versus recursive types

ACM Transactions on Programming Languages and Systems (TOPLAS)
Tolerating exceptions in workflows: a unified framework for data and processes

WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Trace-Based Load Characterization for Generating Performance Software Models

IEEE Transactions on Software Engineering
“Alfonse, wait here for my signal!”

SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
The design of a class mechanism for Moby

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Support for garbage collection at every instruction in a Java compiler

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
Non-intrusive object introspection in C++: architecture and application

Proceedings of the 20th international conference on Software engineering
N degrees of separation: multi-dimensional separation of concerns

Proceedings of the 21st international conference on Software engineering
An initial assessment of aspect-oriented programming

Proceedings of the 21st international conference on Software engineering
Automatic method refactoring using weighted dependence graphs

Proceedings of the 21st international conference on Software engineering
Analysis and development of Java Grande benchmarks

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
Design, implementation, and evaluation of optimizations in a just-in-time compiler

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Java annotation-aware just-in-time (AJIT) complilation system

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Transparent communication for distributed objects in Java

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
The Jini architecture for network-centric computing

Communications of the ACM
OpenJ: an extensible system level design language

DATE '99 Proceedings of the conference on Design, automation and test in Europe
Specification and validation of disstributed IP-based designs with JavaCAD

DATE '99 Proceedings of the conference on Design, automation and test in Europe
Java resources for computer science instruction

ACM SIGCUE Outlook - Special issue on the working group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference
Virtual simulation of distributed IP-based designs

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
The Jini architecture: dynamic services in a flexible network

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Live memory analysis for garbage collection in embedded systems

Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
On failure of the pruning technique in “Error repair in shift-reduce parsers”

ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic typing for distributed programming in polymorphic languages

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Service Combinators for Web Computing

IEEE Transactions on Software Engineering
Techniques for the translation of MATLAB programs into Fortran 90

ACM Transactions on Programming Languages and Systems (TOPLAS)
Flexible control of downloaded executable content

ACM Transactions on Information and System Security (TISSEC)
Interlanguage working without tears: blending SML with Java

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Type dispatch for named hierarchical types

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Structural specification-based testing: automated support and experimental evaluation

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
Integrating segmentation and paging protection for safe, efficient and transparent software extensions

Proceedings of the seventeenth ACM symposium on Operating systems principles
Analyzing exception flow in Java programs

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
A truly implementation independent GUI development tool

Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Efficient logic variables for distributed computing

ACM Transactions on Programming Languages and Systems (TOPLAS)
A multi-tier framework for accessing distributed, heterogeneous spatial data in a federation based EIS

Proceedings of the 7th ACM international symposium on Advances in geographic information systems
Escape analysis for 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
Confined types

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modular type-based reverse engineering of parameterized types in Java code

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A study of locking objects with bimodal fields

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient multiple and predicated dispatching

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
Atlas: a case study in building a web-based learning environment using aspect-oriented programming

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Zones, contracts and absorbing changes: an approach to software evolution

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming

IEEE Transactions on Software Engineering
Web-based analysis and distributed IP

Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Projection merging: reducing redundancies in inclusion constraint graphs

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type systems for distributed data structures

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
Type-checking OQL queries in the ODMG type systems

ACM Transactions on Database Systems (TODS)
Mobility and Extensibility in the StratOSphere Framework

Distributed and Parallel Databases - Special issue on mobile data management and applications
Smart virtual prototypes: distributed 3D product simulations for Web based environments

VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
HyperNews: a MEDIA application for the commercialization of an electronic newspaper

SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Protecting Java code via code obfuscation

Crossroads - Speical issue on robotics
The wonders of Java object serialization

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)
Efficient Java exception handling in just-in-time compilation

Proceedings of the ACM 2000 conference on Java Grande
Towards an efficient exploitation of loop-level parallelism in Java

Proceedings of the ACM 2000 conference on Java Grande
Bulk file I/O extensions to Java

Proceedings of the ACM 2000 conference on Java Grande
A Java fork/join framework

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
A high performance cluster JVM presenting a pure single system image

Proceedings of the ACM 2000 conference on Java Grande
Hardware/software IP protection

Proceedings of the 37th Annual Design Automation Conference
Formal verification applied to Java concurrent software

Proceedings of the 22nd international conference on Software engineering
Testing Java programs using dynamic data flow analysis

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
SSA-based flow-sensitive type analysis: combining constant and type propagation

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Verifying object initialization in the Java bytecode language

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Eclectic CSP: a language of concurrent processes

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Quantifying the energy consumption of a pocket computer and a Java virtual machine

Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
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
An Automatic Class Generation Mechanism by Using Method Integration

IEEE Transactions on Software Engineering
DCAS-based concurrent deques

Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures
Pedagogical power tools for teaching Java

Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
A Java framework for massively distributed symbolic computing

ACM SIGSAM Bulletin
FIRE: flexible Intra-AS routing environment

Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
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
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
Effective synchronization removal for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Type-based race detection for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Techniques for Supporting Dynamic and Adaptive Workflow

Computer Supported Cooperative Work
Type-safe cast: (functional pearl)

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Designing an aspect-oriented framework in an object-oriented environment

ACM Computing Surveys (CSUR)
Advanced Exception Handling Mechanisms

IEEE Transactions on Software Engineering
Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering
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
Exclusion for composite objects

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object-oriented real-time concurrency

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Adaptive optimization in the Jalapeño JVM

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
Sealed calls in Java packages

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
An efficient class and object encoding

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
Guava: a dialect of Java without data races

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java bytecode compression for low-end embedded systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated data-member layout of heap objects to improve memory-hierarchy performance

ACM Transactions on Programming Languages and Systems (TOPLAS)
Designing robust Java programs with exceptions

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Compiler and tool support for debugging object protocols

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Effective null pointer check elimination utilizing hardware trap

ACM SIGPLAN Notices
Exception Handling in the Spreadsheet Paradigm

IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes

IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Java resources for computer science instruction

ITiCSE-WGR '98 Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education
Structured online interactions: improving the decision-making of small discussion groups

CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Using and teaching information hiding in single-semester software engineering projects

ACSE '00 Proceedings of the Australasian conference on Computing education
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
Type-indexed rows

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static and Dynamic Program Compilation by Interpreter Specialization

Higher-Order and Symbolic Computation
NestStep: Nested Parallelism and Virtual Shared Memory for the BSP Model

The Journal of Supercomputing
Java consistency: nonoperational characterizations for Java memory behavior

ACM Transactions on Computer Systems (TOCS)
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)
A slicing-based approach for locating type errors

ACM Transactions on Software Engineering and Methodology (TOSEM)
Techniques for obtaining high performance in Java programs

ACM Computing Surveys (CSUR)
Process migration

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

ACM Transactions on Computer Systems (TOCS)
A scalable architecture for multi-threaded JAVA applications

Proceedings of the conference on Design, automation and test in Europe
Automated method-extraction refactoring by using block-based slicing

SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Core semantics of multithreaded Java

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Runtime optimizations for a Java DSM implementation

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
Java virtual machine support for object serialization

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
DACIA: a mobile component framework for building adaptive distributed applications

ACM SIGOPS Operating Systems Review
Specialization tools and techniques for systematic optimization of system software

ACM Transactions on Computer Systems (TOCS)
A framework for efficient reuse of binary code in Java

ICS '01 Proceedings of the 15th international conference on Supercomputing
Exploring the Interaction between Java's Implicitly Thrown Exceptions and Instruction Scheduling

International Journal of Parallel Programming
Characterizing the memory behavior of Java workloads: a structured view and opportunities for optimizations

Proceedings of the 2001 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Heap profiling for space-efficient Java

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Using annotations to reduce dynamic optimization time

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
Complexity of Points-To Analysis of Java in the Presence of Exceptions

IEEE Transactions on Software Engineering
Source-level global optimizations for fine-grain distributed shared memory systems

PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Type-based analysis and applications

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Protection in programming-language translations

Secure Internet programming
Abstractions for mobile computations

Secure Internet programming
Security properties of typed applets

Secure Internet programming
The role of trust management in distributed systems security

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

Secure Internet programming
J-Kernel: a capability-based operating system for Java

Secure Internet programming
Security in active networks

Secure Internet programming
On the syllogistic structure of object-oriented programming

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Type elaboration and subtype completion for Java bytecode

ACM Transactions on Programming Languages and Systems (TOPLAS)
The NINJA project

Communications of the ACM
An enhanced thread synchronization mechanism for Java

Software—Practice & Experience
TabulaMagica: an integrated approach to manage complex tables

DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Immersive graph navigation using direct manipulation and gestures

VRST '00 Proceedings of the ACM symposium on Virtual reality software and technology
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)
An architecture for flexible, evolvable process-driven user-guidance environments

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavioral contracts and behavioral subtyping

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Exploiting prolific types for memory management and optimizations

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Contract Soundness for object-oriented languages

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
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
A dynamic optimization framework for a Java just-in-time compiler

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamic optimistic interprocedural analysis: a framework and an application

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

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)
Clones occurrence in Java and Modula-3 software systems

Advances in software engineering
Discovering implicit inheritance relations in non-object-oriented code

Advances in software engineering
The software bookshelf

Advances in software engineering
Mobile agent security based on payment

ACM SIGOPS Operating Systems Review
A framework for call graph construction algorithms

ACM Transactions on Programming Languages and Systems (TOPLAS)
Hiding Relaxed Memory Consistency with a Compiler

IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference
Incremental programming with extensible decisions

AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Secure mobile agent systems using Java: where are we heading?

Proceedings of the 2002 ACM symposium on Applied computing
Verification caching: towards efficient and secure mobile code execution environments

Proceedings of the 2002 ACM symposium on Applied computing
Distributed high-performance computation for remote sensing

SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
An interactive toolkit library for 3D applications: it3d

EGVE '02 Proceedings of the workshop on Virtual environments 2002
Preference-directed graph coloring

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Effective sign extension elimination

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
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
A java toolkit for teaching distributed algorithms

Proceedings of the 7th annual conference on Innovation and technology in computer science education
Reflections on remote reflection

ACSC '01 Proceedings of the 24th Australasian conference on Computer science
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
Smarter cut-and-paste for programming text editors

AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Bracket capabilities for distributed systems security

ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Opsis: a distributed object architecture based on bracket capabilities

CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System

IEEE Transactions on Software Engineering
Parameterized object sensitivity for points-to and side-effect analyses for Java

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
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
Mobile ambients

Formal methods for distributed processing
Inheritance in concurrent objects

Formal methods for distributed processing
J-SEAL2—A Secure High-Performance Mobile Agent System

Electronic Commerce Research - Special issue on agents in electronic commerce
Data abstraction and information hiding

ACM Transactions on Programming Languages and Systems (TOPLAS)
Full integration of subtyping and if-expression

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
Teaching network fundamentals using a simulated network

ACM SIGCSE Bulletin
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs

Proceedings of the 24th International Conference on Software Engineering
Specifying multithreaded Java semantics for program verification

Proceedings of the 24th International Conference on Software Engineering
The cyclefree methodology: a simple approach to building reliable, robust, real-time systems

Proceedings of the 24th International Conference on Software Engineering
Contracts for higher-order functions

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Applying software engineering techniques to parser design: the development of a C# parser

SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Creating and preserving locality of java applications at allocation and garbage collection times

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Lock reservation: Java locks can mostly do without atomic operations

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
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
Ravenscar-Java: a high integrity profile for real-time Java

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Specifying Java thread semantics using a uniform memory model

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
System architecture for tourist orientation: the TOSCA high-end system

Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage
On the usefulness of type and liveness accuracy for garbage collection and leak detection

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type-Safe linking with recursive DLLs and shared libraries

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
Application and programming experience with the Ara mobile agent system

Software—Practice & Experience - Special issue: Mobile agent systems
Weaving Ada 95 into the .net environment

Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Software assessment using metrics: A comparison across large C++ and Java systems

Annals of Software Engineering
Automatic Verification of Static Policies on Software Process Models

Annals of Software Engineering
Requirements of a Middleware for Managing a Large, Heterogeneous Programmable Network

BT Technology Journal
On type systems for object-oriented database programming languages

ACM Computing Surveys (CSUR)
Hierarchical module namespaces in Erlang

Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Matchmaking: An extensible framework for distributed resource management

Cluster Computing
Mobile Agent-Based Management in the INSERTProject

Journal of Network and Systems Management
Network Modeling for Management Applications UsingIntelligent Mobile Agents

Journal of Network and Systems Management
An Open Secure Mobile Agent Framework for SystemsManagement

Journal of Network and Systems Management
A framework for multiple coordination languages

World Wide Web
Instructional uses of the WWW: An evaluation tool

World Wide Web
The marriage of effects and monads

ACM Transactions on Computational Logic (TOCL)
Comparative performance evaluation of Java threads for embedded applications: Linux thread vs. Green thread

Information Processing Letters
Type inference for variant object types

Information and Computation - FOOL VII
On inner classes

Information and Computation - FOOL VII
Destructors, finalizers, and synchronization

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Ownership types for object encapsulation

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bytecode fetch optimization for a Java interpreter

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
A safe variant of the unsafe integer arithmetic of JavaTM

Software—Practice & Experience
Dynamic Query-Based Debugging of Object-Oriented Programs

Automated Software Engineering
Efficiently Adapting Java Binaries in Limited Memory Contexts

International Journal of Parallel Programming
A Syntactic Theory of Dynamic Binding

Higher-Order and Symbolic Computation
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering

Higher-Order and Symbolic Computation
Unloading Java classes that contain static fields

ACM SIGPLAN Notices
An analytical POC stack operations folding for continuous and discontinuous Java bytecodes

Journal of Systems Architecture: the EUROMICRO Journal
Javacam: Trimming Java Down to Size

IEEE Internet Computing
Secure Java Class Loading

IEEE Internet Computing
A Software Architecture for Open Service Gateways

IEEE Internet Computing
Java and the Shift to Net-Centric Computing

Computer
Optimizing NET Compilers for Improved Java Performance

Computer
The Real-Time Specification for Java

Computer
System Specification Experiments on a Common Benchmark

IEEE Design & Test
picoJava-I: The Java Virtual Machine in Hardware

IEEE Micro
Java Security: Present and Near Future

IEEE Micro
Java-Centric Distributed Computing

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

IEEE Micro
The case for run-time types in generic Java

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
Using adaptive optimization techniques to teach mobile Java computing

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
Recursive object types in a logic of object-oriented programs

Nordic Journal of Computing
Specification languages in algebraic compilers

Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Data Protocols for the Industrial Virtual Enterprise

IEEE Internet Computing
Fault tolerance and exception handling in BETA

Advances in exception handling techniques
Supporting evolution of interface exceptions

Advances in exception handling techniques
Concurrent exception handling

Advances in exception handling techniques
Exception handling in agent-oriented systems

Advances in exception handling techniques
Generating Human-Usable Textual Notations for Information Models

EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
A Flexible Service Selection Model for Enterprise Distributed Systems

EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Java Program Verification via a Hoare Logic with Abrupt Termination

FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Types for Safe Locking

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Entailment with Conditional Equality Constraints

ESOP '01 Proceedings of the 10th 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
Programming Languages for Compressing Graphics

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Recursive Types and Pattern-Matching in Java

GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Lightweight and Generative Components I: Source-Level Components

GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Realization of an Agent-Based Certificate Authority and Key Distribution

IATA '99 Proceedings of the Third International Workshop on Intelligent Agents for Telecommunication Applications
Improving Java Server Performance with Interruptlets

ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Network Programming Using PLAN

ICCL'98 Workshop on Internet Programming Languages
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
A Versatile Support for Binding Native Code to Java

HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
A Versatile Support for Binding Native Code to Java

HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
A Programmer's Reduction Semantics for Classes and Mixins

Formal Syntax and Semantics of Java
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines

Formal Syntax and Semantics of Java
Machine-Checking the Java Specification: Proving Type-Safety

Formal Syntax and Semantics of Java
Formal Grammar for Java

Formal Syntax and Semantics of Java
Dynamic Denotational Semantics of Java

Formal Syntax and Semantics of Java
Proving Java Type Soundness

Formal Syntax and Semantics of Java
An Event-Based Structural Operational Semantics of Multi-Threaded Java

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

Formal Syntax and Semantics of Java
Describing the Semantics of Java and Proving Type Soundness

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
An Active Network Approach to Support Multimedia Relays

IDMS/PROMS 2002 Proceedings of the Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems: Protocols and Systems for Interactive Distributed Multimedia
From CSP-OZ to Java with Processes

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Tranlating Java to C without Inserting Class Initialization Tests

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Implementing Java Consistency Using a Generic, Multithreaded DSM Runtime System

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Performance Issues for Multi-language Java Applications

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Remote Object Detection in Cluster-Based Java

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Eager Handlers: Communication Optimization in Java-based Distributed Applications with Fine-grained Code Migration

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
From Flop to MegaFlops: Java for Technical Computing

LCPC '98 Proceedings of the 11th International Workshop on Languages and Compilers for Parallel Computing
Instruction Scheduling in the Presence of Java's Runtime Exceptions

LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Scalable Resource Control in Active Networks

IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Non-functional Capability-Based Access Control in the Java Environment

OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Executable and Symbolic Conformance Tests for Implementation Models

OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
JMatch: Iterable Abstract Pattern Matching for Java

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Partial Evaluation for Class-Based Object-Oriented Languages

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
MoDeST - A Modelling and Description Language for Stochastic Timed Systems

PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Better Logging through Formality

RAID '00 Proceedings of the Third International Workshop on Recent Advances in Intrusion Detection
Active Storage for Large-Scale Data Mining and Multimedia

VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Applying Model Checking in Java Verification

Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Model-Based Architecture for the Intranet

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Just-In-Time Java? Compilation for the Itanium® Processor

Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques
A Component-Based, Reconfigurable Mobile Agent System for Context-Aware Computing

ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
A Family of the ODMG Object Models

ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
A Monad for Basic Java Semantics

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Dynamic Query-Based Debugging

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Object-Oriented Programming on the Network

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Modular Statically Typed Multimethods

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
Inlining of Virtual Methods

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Jam - A Smooth Extension of Java with Mixins

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Optimizing Java Programs in the Presence of Exceptions

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Generic Wrappers

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
On Inner Classes

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Reflections on MOPs, Components, and Java Security

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
On the Usefulness of Liveness for Garbage Collection and Leak Detection

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
The Optimistic Readers Transformation

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
True Modules for Java-like Languages

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
Modern Concurrency Abstractions for C#

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Typed Exeptions and Continuations Cannot Macro-Express Each Other

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
Lambda-Lifting in Quadratic Time

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Formal Reasoning about Hardware and Software Memory Models

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Performance Evaluation of a Java Based Chat System

ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing
A Java-Enabled DSP

Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Design and Implementation of a Distributed Crawler and Filtering Processor

NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
Parametric Polymorphism and Orthogonal Persistence

Proceedings of the International Symposium on Objects and Databases
Persistence and Java - A Balancing Act

Proceedings of the International Symposium on Objects and Databases
Inheritance in Higher Order Logic: Modeling and Reasoning

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Towards a Machine-Checked Java Specification Book

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Specification of a Smart Card Operating System

TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Migrating Large Applications from Ada83 to Ada95

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper)

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Exploiting Java Bytecode Parallelism by Enhanced POC Folding Model (Research Note)

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
A More Expressive Monitor for Concurrent Java Programming

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Self-Organizing Hierarchical Cluster Timestamps

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
ParBlocks - A New Methodology for Specifying Concurrent Method Executions in Opus

Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Debugging by Remote Reflection

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Object Types against Races

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Scalable Mobile Agents Supporting Dynamic Composition of Functionality

Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Object-Oriented Design of Graph Oriented Data Structures

ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
Multiple Dynamic View Support for Cooperative Work

DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Verification for Java's Reentrant Multithreading Concept

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
SOMMIT Project: Enabling New Services for the Next Generation of Digital TV Receivers

ECMAST '99 Proceedings of the 4th European Conference on Multimedia Applications, Services and Techniques
Formal Techniques for Java Programs

ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Poster Session

ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Component Architecture of the Tecolote Framework

ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
OpenCorba: A Reflective Open Broker

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
Towards a Colimit-Based Semantics for Visual Programming

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Declarable Modifiers: A Proposal to Increase the Efficacy of Metaclasses

Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations

JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Using Cohort-Scheduling to Enhance Server Performance

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
The JX Operating System

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Coordinating Java Agents with Multiple Coordination Language on the Berlinda Platform

WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Building a Secure Web Browser

Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference
Biglook: A Widget Library for the Scheme Programming Language

Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
Securing Communication in a Concurrent Language

SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Global Names: Support for Managing Software in a World of Virtual Organizations

SCM-9 Proceedings of the 9th International Symposium on System Configuration Management
An Abstract Model of Java Dynamic Linking and Loading

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Supporting Evolution of Interface Exceptions

Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Concurrent Exception Handling

Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Exception Handling in Agent-Oriented Systems

Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Fault Tolerance and Exception Handling in BETA

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
Constructive Foundations for Featherweight Java

PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs

Revised Lectures on Software Visualization, International Seminar
A Static Study of Java Exceptions Using JESP

CC '00 Proceedings of the 9th International Conference on Compiler Construction
Directly-Executable Earley Parsing

CC '01 Proceedings of the 10th International Conference on Compiler Construction
A Bounded Graph-Connect Construction for LR-regular Parsers

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
StreamIt: A Language for Streaming Applications

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Capability-Based Financial Instruments

FC '00 Proceedings of the 4th International Conference on Financial Cryptography
High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
From Informal Requirements to COOP: A Concurrent Automata Approach

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
Fast File Access for Fast Agents

MA '01 Proceedings of the 5th International Conference on Mobile Agents
Investigating Java Concurrency Using Abstract State Machines

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Configuration Theories

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Client-Server Design Alternatives: Back to Pipes but with Threads

ICN '01 Proceedings of the First International Conference on Networking-Part 2
Networking in a Service Platform Based on Mobile Agents

ICN '01 Proceedings of the First International Conference on Networking-Part 2
Targeting Dynamic Compilation for Embedded Environments

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
Optimizing Precision Overhead for x86 Processors

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
sEc: A Portable Interpreter Optimizing Technique for Embedded Java Virtual Machine

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Experiences Porting the Jikes RVM to Linux/IA32

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
A Framework for Specializing Threads in Concurrent Run-Time Systems

LCR '98 Selected Papers from the 4th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
Detecting Read-Only Methods in Java

LCR '00 Selected Papers from the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
Web Browsers and Security

Mobile Agents and Security
Safe, Untrusted Agents Using Proof-Carrying Code

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

Mobile Agents and Security
Proxy Agent Consistency Service Based on CORBA

MDA '99 Proceedings of the First International Conference on Mobile Data Access
Hyper-Code Revisited: Unifying Program Source, Executable, and Data

POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
Scalable and Recoverable Implementation of Object Evolution for the PJama1 Platform

POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
OCL Based on New Presentation of the OCL-Syntax

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Smart Environments: Middleware Building Blocks for Pervasive Network Computing (A Position Paper)

IMWS '01 Revised Papers from the NSF Workshop on Developing an Infrastructure for Mobile and Wireless Systems
Defining and Handling Transient Fields in PJama

DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Information Flow Control among Objects in Role-Based Access Control Model

DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Higher-Order Intensional Type Analysis

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Equational Reasoning for Linking with First-Class Primitive Modules

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Software Process for an Integrated Electronic Commerce Portal System

EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Compiler-Cooperative Memory Management in Java

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Improving the Precision of Equality-Based Dataflow Analyses

SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Java Enabled MPEG-4 Services: The MPEG-J Framework

IS&N '99 Proceedings of the 6th International Conference on Intelligence and Services in Networks: Paving the Way for an Open Service Market
The invention of concurrent programming

The origin of concurrent programming
A domain-theoretic semantics of lax generic functions

Theoretical Computer Science - Category theory and computer science
A Java-enabled DSP

Embedded processor design challenges
Abstraction dependencies

Programming methodology
The DOGMA approach to parallel and distributed computing

Cluster computing
A real-time Java server for real-time mach

Engineering of distributed control systems
Comprehensive synchronization elimination for Java

Science of Computer Programming - Special issue on static analysis (SAS'99)
Manageable access control for CORBA

Journal of Computer Security - Special issue on ESORICS 2000
Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles

ACM SIGARCH Computer Architecture News
An extensible event-based infrastructure for networked virtual worlds

Presence: Teleoperators and Virtual Environments - special issue: IEEE virtual reality 2002 conference
Integrated prepass scheduling for a Java Just-In-Time compiler on the IA-64 architecture

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Continuous program optimization: A case study

ACM Transactions on Programming Languages and Systems (TOPLAS)
Stride prefetching by dynamically inspecting objects

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A type and effect system for atomicity

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Hybrid dynamic data race detection

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Extracting Java library subsets for deployment on embedded systems

Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Compact Java binaries for embedded systems

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Repairing software style using graph grammars

CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Automatic fence insertion for shared memory multiprocessing

ICS '03 Proceedings of the 17th annual international conference on Supercomputing
Executing Java threads in parallel in a distributed-memory environment

CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Sharpening global static analysis to cope with Java

CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Mobile Agent Security and Telescript

COMPCON '96 Proceedings of the 41st IEEE International Computer Conference
On the Interaction of Mobile Processes and Objects

HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
Heterogeneous Programming with Java: Gourmet Blend or just a Hill of Beans?

HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
Modular Heterogeneous System Development: A Critical Analysis of Java

HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
A world-wide distributed system using Java and the Internet

HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Discrete - Event Simulation of Parallel Machines

PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
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
Modular system building with Java/sup TM/ packages

SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
An environment for cooperative construction of natural-language requirement bases

SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Garbage Collector Memory Accounting in Language-Based Systems

SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Using Java to Add "Stored Procedures" to Databases

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System

TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Assessment of the Java programming language for use in high integrity systems

ACM SIGPLAN Notices
Changing Java Programs

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Interoperable Databases: A Programming Language Approach

IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Early Addressing IC and Package Relationship Allows an Overall Better Quality of Complex SOC

ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
Designing reliable systems from reliable components using the context-dependent constraint concept

ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
An Exception Handling Mechanism for Developing Dependable Object-Oriented Software Based on a Meta-Level Approach

ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Assertions: A Personal Perspective

IEEE Annals of the History of Computing
The Jrpm system for dynamically parallelizing Java programs

Proceedings of the 30th annual international symposium on Computer architecture
Quantifying and evaluating the space overhead for alternative C++ memory layouts

Software—Practice & Experience
Automatic Verification of Java Design Patterns

Proceedings of the 16th IEEE international conference on Automated software engineering
Automatically Restructuring Programs for the Web

Proceedings of the 16th IEEE international conference on Automated software engineering
JR: Flexible Distributed Programming in an Extended Java

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Characterizations for Java Memory Behavior

IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Parameterized modules in Erlang

Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
API documentation with executable examples

Journal of Systems and Software
Static analysis to support the evolution of exception structure in object-oriented systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
The roots of object orientation: the Simula language

Software pioneers
A security framework for reflective Java applications

Software—Practice & Experience
Improving the reliability of commodity operating systems

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Stack allocation and synchronization optimizations for Java using escape analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Effectiveness of cross-platform optimizations for a java just-in-time compiler

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
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
Declaring and checking non-null types in an object-oriented language

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
A RUP-based software process supporting progressive implementation

UML and the unified process
A new approach for implementing stand-alone and Web-based interpreters for Java

PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Supporting interactive invocation of remote services within an integrated programming environment

PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
A unifying approach to the security of distributed and multi-threaded programs

Journal of Computer Security - Special issue on CSFW14
Atomizer: a dynamic atomicity checker for multithreaded programs

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principal typings for Java-like languages

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming graphical user interfaces with Scheme

Journal of Functional Programming
WSSecSpaces: a secure data-driven coordination service for Web Services applications

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
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
PL-detective: a system for teaching programming language concepts

Proceedings of the 35th SIGCSE technical symposium on Computer science education
What are the key issues for commercial AOP use: how does AspectWerkz address them?

Proceedings of the 3rd international conference on Aspect-oriented software development
A buddy model of security for mobile agent communities operating in pervasive scenarios

ACSW Frontiers '04 Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation - Volume 32
Verification in the Classroom

Journal of Automated Reasoning
Principality and type inference for intersection types using expansion variables

Theoretical Computer Science
JR: Flexible distributed programming in an extended Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
The design and verification of Java's memory model

OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Computational performance of Java and C++ in processing fMRI datasets

OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multimedia middleware for the future home

M3W Proceedings of the 2001 international workshop on Multimedia middleware
Adding polymorphic tuples and lists to the syntax of Java

ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A Mobile Computational model for Internet programming

ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Coping with Java Threads

Computer
How to print floating-point numbers accurately

ACM SIGPLAN Notices - Best of PLDI 1979-1999
Thin locks: featherweight Synchronization for Java

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

ACM SIGPLAN Notices - Best of PLDI 1979-1999
WebDIPLOMAT: a Web-based interactive machine translation system

COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
Dynamic adaptation of application aspects

Journal of Systems and Software - Special issue: Computer systems
Jedd: a BDD-based relational extension of Java

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
New covert channels in HTTP: adding unwitting Web browsers to anonymity sets

Proceedings of the 2003 ACM workshop on Privacy in the electronic society
An uncaught exception analysis for Java

Journal of Systems and Software
Java virtual machine profiler interface

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
Optimizing array reference checking in Java programs

IBM Systems Journal
Scheme fair threads

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
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
A unified theory of shared memory consistency

Journal of the ACM (JACM)
Automatic Method Completion

Proceedings of the 19th IEEE international conference on Automated software engineering
Impact of Java Memory Model on Out-of-Order Multiprocessors

Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
The development of a game playing framework using interface-based programming

Crossroads
A software/hardware cooperated stack operations folding model for Java processors

Journal of Systems and Software
Converting java programs to use generic libraries

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A practical type system and language for reference immutability

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Super and inner: together at last!

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mirrors: design principles for meta-level facilities of object-oriented programming languages

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Finding and preventing run-time error handling mistakes

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type-FUNCTIONAL PEARL safe cast

Journal of Functional Programming
Algebraic reasoning for object-oriented programming

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

Science of Computer Programming - Special issue on program transformation
Design and Implementation of an Administration System for Distributed Web Server

LISA '98 Proceedings of the 12th USENIX conference on System administration
Environmental acquisition revisited

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Java memory model

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partial redundancy elimination for access expressions by speculative code motion

Software—Practice & Experience
Parameterized object sensitivity for points-to analysis for Java

ACM Transactions on Software Engineering and Methodology (TOSEM)
Optimizing precision overhead for x86 processors

Software—Practice & Experience
Improving the reliability of commodity operating systems

ACM Transactions on Computer Systems (TOCS)
Cluster Computing with Java

Computing in Science and Engineering
Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java

Proceedings of the international symposium on Code generation and optimization
HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing?

Proceedings of the 2003 ACM/IEEE conference on Supercomputing
Automatic Support for Irregular Computations in a High-Level Language

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
JiST: an efficient approach to simulation using virtual machines: Research Articles

Software—Practice & Experience
Escape analysis in the context of dynamic compilation and deoptimization

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Inlining java native calls at runtime

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Instruction combining for coalescing memory accesses using global code motion

MSP '04 Proceedings of the 2004 workshop on Memory system performance
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
Syntactic Heroin

Queue - Security
Modular Verification of Open Features Using Three-Valued Model Checking

Automated Software Engineering
Class

Encyclopedia of Computer Science
Exception handling

Encyclopedia of Computer Science
Java

Encyclopedia of Computer Science
Language processors

Encyclopedia of Computer Science
Parameter passing

Encyclopedia of Computer Science
Design and evaluation of dynamic optimizations for a Java just-in-time compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing java compilers using ReRAGs

Nordic Journal of Computing
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
An approach to automatic testing exception handling

ACM SIGPLAN Notices
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
CoJava: a unified language for simulation and optimization

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The impact of software engineering research on modern progamming languages

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic verification of design patterns in Java

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems

IEEE Transactions on Parallel and Distributed Systems
Safe Concurrency for Aggregate Objects with Invariants

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Interruptible iterators

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Certified assembly programming with embedded code pointers

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
EDO: Exception-directed optimization in java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective sign extension elimination for java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Component Architecture for High-Performance Scientific Computing

International Journal of High Performance Computing Applications
A historical perspective on runtime assertion checking in software development

ACM SIGSOFT Software Engineering Notes
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)
Distribution and persistence as aspects

Software—Practice & Experience - Research Articles
Nooks: an architecture for reliable device drivers

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Sub-operating systems: a new approach to application security

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Optimistic stack allocation for java-like languages

Proceedings of the 5th international symposium on Memory management
A view of 20th and 21st century software engineering

Proceedings of the 28th international conference on Software engineering
Toward effective deployment of design patterns for software extension: a case study

Proceedings of the 2006 international workshop on Software quality
A historic functional and object-oriented calculus

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Policy-driven reflective enforcement of security policies

Proceedings of the 2006 ACM symposium on Applied computing
The development of a game playing framework using interface-based programming

Crossroads
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects

Proceedings of the 2006 international symposium on Software testing and analysis
Flexible object encapsulation for ambient-oriented programming

DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Dynamic data polyvariance using source-tagged classes

DLS '05 Proceedings of the 2005 symposium on Dynamic languages
An approach to analyzing recursive programs with exception handling constructs

ACM SIGPLAN Notices
Distributed computing using Java: a comparison of two server designs

Journal of Systems Architecture: the EUROMICRO Journal
A thread monitoring system for multithreaded Java programs

ACM SIGPLAN Notices
Identifying refactoring opportunities by identifying dependency cycles

ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
The missing link: dynamic components for ML

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
A platform-independent distributed runtime for standard multithreaded Java

International Journal of Parallel Programming
Virgil: objects on the head of a pin

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
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
Typeless programming in Java 5.0

PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Stayin' alert:: moulding failure and exceptions to your needs

Proceedings of the 5th international conference on Generative programming and component engineering
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
Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Synthesis of time-constrained multitasking embedded software

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Type-based publish/subscribe: Concepts and experiences

ACM Transactions on Programming Languages and Systems (TOPLAS)
Addressing concurrency in object-oriented software development

CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Semantics of an effect analysis for exceptions

TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Commercial Experience with Agent-Oriented Software Engineering

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An assertion-based proof system for multithreaded Java

Theoretical Computer Science - Formal methods for components and objects
Tribe: a simple virtual class calculus

Proceedings of the 6th international conference on Aspect-oriented software development
Using natural language program analysis to locate and understand action-oriented concerns

Proceedings of the 6th international conference on Aspect-oriented software development
Reverse-engineering 1-n associations from Java bytecode using alias analysis

Information and Software Technology
About "trivial" software patents: The IsNot case

Science of Computer Programming
Secure shared data-space coordination languages: a process algebraic surveys

Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Abstract Interpretation Against Races

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A machine code model for efficient advice dispatch

Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms
Supporting Secure Coordination in SecSpaces

Fundamenta Informaticae
Higher-order functional programming and wildcards in java

ACM-SE 45 Proceedings of the 45th annual southeast regional conference
The when, why and why not of the BETA programming language

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Multi-language programming environments for high performance Java computing

Scientific Programming
Coordinate free programming of computational fluid dynamics problems

Scientific Programming
Machine and collection abstractions for user-implemented data-parallel programming

Scientific Programming
An algebraic programming style for numerical software and its optimization

Scientific Programming
Case study on algebraic software methodologies for scientific computing

Scientific Programming
NINJA: Java for high performance numerical computing

Scientific Programming
Practical software reuse for IBM System z I/O subsystems

IBM Journal of Research and Development
Information Hiding and Visibility in Interface Specifications

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Refactoring for Parameterizing Java Classes

ICSE '07 Proceedings of the 29th international conference on Software Engineering
SSA-based mobile code: Implementation and empirical evaluation

ACM Transactions on Architecture and Code Optimization (TACO)
Constructing services with interposable virtual hardware

NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
A secure javaTM virtual machine

SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9
Secure coprocessor integration with kerberos V5

SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9
Detecting malicious java code using virtual machine auditing

SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task

PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
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
Java client ahead-of-time compiler for embedded systems

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Automatic feedback-directed object inlining in the java hotspot™ virtual machine

Proceedings of the 3rd international conference on Virtual execution environments
Productivity prediction of MPI programs based on models

Automation and Remote Control
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
Using content-derived names for package management in Tcl

TCLTK'98 Proceedings of the 6th conference on Annual Tcl/Tk Workshop, 1998 - Volume 6
Caubweb: detaching the web with Tcl

TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
Improving instruction locality with just-in-time code layout

NT'97 Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997
Techniques for the design of java operating systems

ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Dynamic type checking in jalapeño

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
Hot-swapping between a mark&sweep and a mark&compact garbage collector in a generational environment

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
On the software virtual machine for the real hardware stack machine

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Service combinators for web computing

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Typed common intermediate format

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Adaptation and specialization for high performance mobile agents

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
IBDL: a language for interface behavior specification and testing

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
Toba: java for applications a way ahead of time (WAT) compiler

COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
A tool for constructing safe extensible C++ systems

COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
A distributed object model for the javaTM system

COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Pickling state in the javaTM system

COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Making Java applications mobile or persistent

COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Automatic program transformation with JOIE

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
Kawa: compiling dynamic languages to the Java VM

ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
The pebble component-based operating system

ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Sealing OS processes to improve dependability and safety

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Analysis of modular arithmetic

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Mechanisms for improved covariant type-checking

Computer Languages, Systems and Structures
A web-based spatial decision support system optimizes routes for oversize/overweight vehicles in Delaware

Decision Support Systems
High Performance Development for High End Computing With Python Language Wrapper (PLW)

International Journal of High Performance Computing Applications
Lightweight flexible isolation for language-based extensible systems

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Object and reference immutability using Java generics

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Some observations on LR-like parsing with delayed reduction

Information Processing Letters
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
Empirical evaluation of two main-stream RTSJ implementations

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Bridging Java and AspectJ through explicit join points

Proceedings of the 5th international symposium on Principles and practice of programming in Java
Typeless programming in Java 5.0 with wildcards

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
Object-oriented description of graph data structures

Programming and Computing Software
Jeannie: granting java native interface developers their wishes

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Variant path types for scalable extensibility

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Streamflex: high-throughput stream programming in java

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
A rewriting approach to the design and evolution of object-oriented languages

Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
RadixZip: linear time compression of token streams

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Foundations of a simple and unified component-oriented language

Computer Languages, Systems and Structures
Towards dynamic plug-in replacement in Eclipse plug-in development

Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Exceptional situations and program reliability

ACM Transactions on Programming Languages and Systems (TOPLAS)
A case study in introductory programming

CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
On synchronization with direct delaying and resuming

SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Original paper: A general planner for agro-ecosystem models

Computers and Electronics in Agriculture
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Monitoring External Resources in Java MIDP

Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems

Computer Languages, Systems and Structures
The pitfalls of verifying floating-point computations

ACM Transactions on Programming Languages and Systems (TOPLAS)
Removing redundancy via exception check motion

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
Fault-safe code motion for type-safe languages

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
An empirical evaluation of constructive neural network algorithms in classification tasks

International Journal of Innovative Computing and Applications
SPPF-Style Parsing From Earley Recognisers

Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed strategic interleaving with load balancing

Future Generation Computer Systems
Atomizer: A dynamic atomicity checker for multithreaded programs

Science of Computer Programming
Integrating coercion with subtyping and multiple dispatch

Proceedings of the 2008 ACM symposium on Applied computing
Lambda functions for C++0x

Proceedings of the 2008 ACM symposium on Applied computing
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse

Electronic Notes in Theoretical Computer Science (ENTCS)
Systematically refactoring inheritance to delegation in java

Proceedings of the 30th international conference on Software engineering
A study of Java object demographics

Proceedings of the 7th international symposium on Memory management
Enhanced hot spot detection heuristics for embedded java just-in-time compilers

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
IBM POWER6 accelerators: VMX and DFU

IBM Journal of Research and Development
Relations as an abstraction for BDD-based program analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Types for atomicity: Static checking and inference for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Genericity in Java: persistent and database systems implications

The VLDB Journal — The International Journal on Very Large Data Bases
Linking Event-B and Concurrent Object-Oriented Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Modularity: a first class concept to address distributed systems

ACM SIGACT News
Macros for context-free grammars

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
An architecture for exception management in multiagent systems

International Journal of Agent-Oriented Software Engineering
Practical pluggable types for java

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch

Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Visualization of exception handling constructs to support program understanding

Proceedings of the 4th ACM symposium on Software visualization
Revitalizing the computer organization course with the Java virtual machine

Journal of Computing Sciences in Colleges
Haskell session types with (almost) no class

Proceedings of the first ACM SIGPLAN symposium on Haskell
Slim VM: optimistic partial program loading for connected embedded Java virtual machines

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Intersection types in Java

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Problems in the ontology of computer programs

Applied Ontology
Linguistic symbiosis between event loop actors and threads

Computer Languages, Systems and Structures
The Java 5 generics compromise orthogonality to keep compatibility

Journal of Systems and Software
Patterns for documenting frameworks: customization

Proceedings of the 2006 conference on Pattern languages of programs
Value object

Proceedings of the 2006 conference on Pattern languages of programs
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification

Verified Software: Theories, Tools, Experiments
Informing Regulatory Dynamics in Open MASs

Coordination, Organizations, Institutions, and Norms in Agent Systems II
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code

FM '08 Proceedings of the 15th international symposium on Formal Methods
An Experimental Evaluation of Documentation Methods and Reusability

ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Verification of Java Programs with Generics

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Uniform Transactional Execution Environment for Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
L2Code: An Author Environment for Hybrid and Personalized Programming Learning

ICHL '08 Proceedings of the 1st international conference on Hybrid Learning and Education
On the reification of Java wildcards

Science of Computer Programming
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
Sound and extensible renaming for java

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Analyzing clusters of class characteristics in OO applications

Journal of Systems and Software
The Runabout

Software—Practice & Experience
Expressive and modular predicate dispatch for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Going Stupid with EcoLab

Simulation
Class invariants as abstract interpretation of trace semantics

Computer Languages, Systems and Structures
Masked types for sound object initialization

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Improving type error messages for generic java

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Challenge proposal: verification of refactorings

Proceedings of the 3rd workshop on Programming languages meets program verification
A generic type-and-effect system

Proceedings of the 4th international workshop on Types in language design and implementation
Refinement and verification in component-based model-driven design

Science of Computer Programming
Client ahead-of-time compiler for embedded Java platforms

Software—Practice & Experience
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
Demystifying magic: high-level low-level programming

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Abstraction of transaction demarcation in component-oriented platforms

Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Optimising Java RMI programs by communication restructuring

Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Cooperative aspect-oriented programming

Science of Computer Programming
Privacy-preserving browser-side scripting with BFlow

Proceedings of the 4th ACM European conference on Computer systems
Testing-based Process for Evaluating Component Replaceability

Electronic Notes in Theoretical Computer Science (ENTCS)
A Static Bug Detector for Uninitialized Field References in Java Programs

IEICE - Transactions on Information and Systems
Jigsaw-Puzzle-Like 3D Glyphs for Visualization of Grammatical Constraints

IEICE - Transactions on Information and Systems
Formalising and Verifying Reference Attribute Grammars in Coq

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
The Green language type system

Computer Languages, Systems and Structures
Unifying aspect- and object-oriented design

ACM Transactions on Software Engineering and Methodology (TOSEM)
A method for detecting the theft of Java programs through analysis of the control flow information

Information and Software Technology
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
AspectOptima: A Case Study on Aspect Dependencies and Interactions

Transactions on Aspect-Oriented Software Development V
Using Java's generics mechanism to improve type safety in the command pattern

Proceedings of the 46th Annual Southeast Regional Conference on XX
Automatic assessment of failure recovery in Erlang applications

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Component-based LR parsing

Computer Languages, Systems and Structures
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol

Electronic Notes in Theoretical Computer Science (ENTCS)
Avoiding unbounded priority inversion in barrier protocols using gang priority management

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
Advanced runtime adaptation for Java

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp

Proceedings of the 2007 International Lisp Conference
Efficient, formally verifiable data structures using ACL2 single-threaded objects for high-assurance systems

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
A different kind of programming languages course

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Regrowing a language: refactoring tools allow programming languages to evolve

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
On understanding data abstraction, revisited

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Design, implementation, and evaluation of the Resilient Smalltalk embedded platform

Computer Languages, Systems and Structures
A minimalist approach to objects

Computer Languages, Systems and Structures
Recognition is not parsing - SPPF-style parsing from cubic recognisers

Science of Computer Programming
An experimental ambiguity detection tool

Science of Computer Programming
Using a model-based test generator to test for standard conformance

IBM Systems Journal
Architecture and software support in IBM S/390 parallel enterprise servers for IEEE floating-point arithmetic

IBM Journal of Research and Development
Hybrid type checking

ACM Transactions on Programming Languages and Systems (TOPLAS)
Flexibility and coordination in event-based, loosely coupled, distributed systems

Computer Languages, Systems and Structures
Separation anxiety: stresses of developing a modern day separable user interface

HSI'09 Proceedings of the 2nd conference on Human System Interactions
A resource management interface for the Java™ platform

A resource management interface for the Java™ platform
Scaling J2EE™ application servers with the multi-tasking virtual machine

Scaling J2EE™ application servers with the multi-tasking virtual machine
A comparative study of persistence mechanisms for the Java™ platform

A comparative study of persistence mechanisms for the Java™ platform
NTGsim: a graphical user interface for the nonlinear trajectory generation algorithm

ACC'09 Proceedings of the 2009 conference on American Control Conference
Taclets and the KeY Prover

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

Electronic Notes in Theoretical Computer Science (ENTCS)
A Design for Type-Directed Programming in Java

Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Equivalence Notion for Object Models

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)
What every agent-based modeller should know about floating point arithmetic

Environmental Modelling & Software
Bytecodes meet combinators: invokedynamic on the JVM

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
PREMO: A framework for multimedia middleware: specification, rationale, and java binding

PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Verifying safety properties of concurrent heap-manipulating programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
A unified formal specification and analysis of the new java memory models

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A framework for modeling the semantics of expression evaluation with abstract state machines

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Using history invariants to verify observers

ESOP'07 Proceedings of the 16th European conference on Programming
Jade: a parallel message-driven java

ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Pipa: a behavioral interface specification language for aspectJ

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Static reduction analysis for imperative object oriented languages

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
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
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs
Design pattern implementations in Eos

Proceedings of the 14th Conference on Pattern Languages of Programs
Checking concurrent contracts with aspects

Proceedings of the 2010 ACM Symposium on Applied Computing
KOOL: an application of rewriting logic to language prototyping and analysis

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Array modeling in Java virtual machine

APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Providing contextual norm information in open multi-agent systems

AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Curry-style types for nominal terms

TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Objective coordination in multi-agent system engineering: design and implementation

Objective coordination in multi-agent system engineering: design and implementation
On revival of Algol-concepts in modern programming and specification languages

Formal methods and hybrid real-time systems
DTIWeb: a web-based framework for DTI data visualization and processing

ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
MemSAT: checking axiomatic specifications of memory models

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Towards a general purpose architecture for UI generation

Journal of Systems and Software
Using remotely executing software via a mobile device

AUIC '09 Proceedings of the Tenth Australasian Conference on User Interfaces - Volume 93
Project management and design methodology support for the cave project: a hyperdocument-centric approach

SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Implicit invocation meets safe, implicit concurrency

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
Contracts for first-class classes

Proceedings of the 6th symposium on Dynamic languages
The SSP: an example of high-assurance systems engineering

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A unified approach to modeling and programming

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Language convergence infrastructure

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Parallel and distributed computing on multidomain non-routable networks

International Journal of High Performance Computing and Networking
Statically safe program generation with SafeGen

Science of Computer Programming
Recovering grammar relationships for the Java Language Specification

Software Quality Control
Patterns for effectively documenting frameworks

Transactions on pattern languages of programming II
Adaptive optimization in the Jalapeno JVM

ACM SIGPLAN Notices
Textual authoring of interactive digital TV applications

Proceddings of the 9th international interactive conference on Interactive television
A general extension system for event processing languages

Proceedings of the 5th ACM international conference on Distributed event-based system
Java replay for dependence-based debugging

Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Mapping aspect-oriented models to aspect-oriented code

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Principal types for nominal theories

FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
iEditors: extending iTask with interactive plug-ins

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
A theory of substructural types and control

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Aspect-oriented modelling for distributed systems

Proceedings of the 14th international conference on Model driven engineering languages and systems
Reducing biased lock revocation by learning

Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
CoJava: optimization modeling by nondeterministic simulation

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
State space exploration of object-based systems using equivalence reduction and the sweepline method

ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Security framework to verify the low level implementation codes

ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Explicitly typed exceptions for haskell

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
References

Embedded Systems Design
Fast convex closure for efficient predicate detection

Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Analysis of modular arithmetic

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
An intelligent tutoring module controlled by BDI agents for an e-learning platform

Expert Systems with Applications: An International Journal
An exception monitoring system for java

RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Composing domain-specific languages for wide-scope software engineering applications

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Source-level optimization of run-time program generators

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Evolving persistent applications on commercial platforms

ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Survey Internet of things: Vision, applications and research challenges

Ad Hoc Networks
Optimal assignment of mobile agents for software authorization and protection

Computer Communications
Problems in the ontology of computer programs

Applied Ontology
Supporting Secure Coordination in SecSpaces

Fundamenta Informaticae
Abstract Interpretation Against Races

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Evaluation of Android Dalvik virtual machine

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
A machine model for aspect-oriented programming

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Causality for free!: parametricity implies causality for functional reactive programs

PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
Multitasking without compromise: a virtual machine evolution

ACM SIGPLAN Notices - Supplemental issue
On LR parsing with selective delays

CC'13 Proceedings of the 22nd international conference on Compiler Construction
Embassies: radically refactoring the web

nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
ICFP 2002: Contracts for higher-order functions

ACM SIGPLAN Notices - Supplemental issue
An object-oriented approach to language compositions for software language engineering

Journal of Systems and Software
A scalable module system

Information and Computation
How to run POSIX apps in a minimal picoprocess

USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference
Semantic Types and Approximation for Featherweight Java

Theoretical Computer Science
Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce

Fundamenta Informaticae

Quantified Score

Hi-index	0.05

Visualization

Abstract

From the Publisher:Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) programming language. If you want to know the precise meaning of the language's constructs, this is the source for you. The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java programming language. It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.