Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A programmer's guide to object-oriented programming in Common LISP
A programmer's guide to object-oriented programming in Common LISP
The art of metaobject protocol
The art of metaobject protocol
Adding type parameterization to the Java language
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 Virtual Machine Specification
Java Virtual Machine Specification
The Java Language Specification
The Java Language Specification
Schema Modifications in the LISPO2 Persistent Object-Oriented Language
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Security and Dynamic Class Loading in Java: A Formalization
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Transparent modules with fully syntatic signatures
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
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
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Quicksilver: a quasi-static compiler for Java
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A formal specification of Java class loading
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Application isolation in the Java Virtual Machine
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An approach to safe object sharing
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Multitasking without comprimise: a virtual machine evolution
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Jiazzi: new-age components for old-fasioned Java
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type-based hot swapping of running modules (extended abstract)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Reflections on remote reflection
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Multiprocessing and portability for PDAs
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Type-Safe linking with recursive DLLs and shared libraries
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic Query-Based Debugging of Object-Oriented Programs
Automated Software Engineering
Formalization and Analysis of Class Loading in Java
Higher-Order and Symbolic Computation
IEEE Internet Computing
Realization of an Agent-Based Certificate Authority and Key Distribution
IATA '99 Proceedings of the Third International Workshop on Intelligent Agents for Telecommunication Applications
MATA '00 Proceedings of the Second International Workshop on Mobile Agents for Telecommunication Applications
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Providing Fine-grained Access Control for Java Programs
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Basic Model of Typed Components
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Runtime Support for Type-Safe Dynamic Java Classes
ECOOP '00 Proceedings of the 14th 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
Modular Internet Programming with Cells
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
From Dalang to Kava - The Evolution of a Reflective Java Extension
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Kava - A Reflective Java Based on Bytecode Rewriting
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Sharing in Typed Module Assembly Language
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
An Abstract Model of Java Dynamic Linking and Loading
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
Java Class Deployment Using Class Collections
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Customizable Deployment, Composition, and Hosting of Distributed Java Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Mechanisms for secure modular programming in Java
Software—Practice & Experience - Special issue: Security software
Pragmatic Type Interoperability
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Partial behavioral reflection: spatial and temporal selection of reification
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Relaxed MultiJava: balancing extensibility and modular typechecking
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
Language support for lightweight transactions
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Modeling multiple class loaders by a calculus for dynamic linking
Proceedings of the 2004 ACM symposium on Applied computing
Remote pointcut: a language construct for distributed AOP
Proceedings of the 3rd international conference on Aspect-oriented software development
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
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
Pluggable verification modules: an extensible protection mechanism for the JVM
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
System support for pervasive applications
ACM Transactions on Computer Systems (TOCS)
An Extensible Platform for Evaluating Security Protocols
ANSS '05 Proceedings of the 38th annual Symposium on Simulation
Parametric polymorphism for Java: is there any hope in sight?
ACM SIGPLAN Notices
RAIL: code instrumentation for .NET
Proceedings of the 2005 ACM symposium on Applied computing
Handling run-time updates in distributed applications
Proceedings of the 2005 ACM symposium on Applied computing
The KaffeOS Java runtime system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formalising Java RMI with explicit code mobility
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Develop once deploy anywhere achieving adaptivity with a runtime linker/loader framework
ARM '05 Proceedings of the 4th workshop on Reflective and adaptive middleware systems
Scaling J2EE™ application servers with the Multi-tasking Virtual Machine
Software—Practice & Experience - Research Articles
A component-based approach to online software evolution: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice
MultiJava: Design rationale, compiler implementation, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introspective approach to marking graphical user interfaces
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Weaves: a framework for reconfigurable programming
International Journal of Parallel Programming - Special issue: The next generation software program
A static type system for JVM access control
ACM Transactions on Programming Languages and Systems (TOPLAS)
A flexible model for dynamic linking in Java and C#
Theoretical Computer Science
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Processes in KaffeOS: isolation, resource management, and sharing in java
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Detecting malicious java code using virtual machine auditing
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Towards dynamic interprocedural analysis in JVMs
VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
Techniques for the design of java operating systems
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Proof linking: distributed verification of java classfiles in the presence of multiple classloaders
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
More efficient network class loading through bundling
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Multi-dispatch in the Java virtual machine: design and implementation
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Type safe dynamic linking for JVM access control
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
The potential of speculative class-loading
Proceedings of the 5th international symposium on Principles and practice of programming in Java
The java module system: core design and semantic definition
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Formalising Java RMI with explicit code mobility
Theoretical Computer Science
Encapsulating and exploiting change with changeboxes
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Proceedings of the 7th international conference on Aspect-oriented software development
Proceedings of the 2008 ACM symposium on Applied computing
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
A framework for adapting the distribution of automatic application configuration
Proceedings of the 5th international conference on Pervasive services
Design patterns: the devils in the detail
Proceedings of the 2006 conference on Pattern languages of programs
Towards a new isolation abstraction for OSGi
Proceedings of the 1st workshop on Isolation and integration in embedded systems
Doloto: code splitting for network-bound web 2.0 applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An empirical security study of the native code in the JDK
SS'08 Proceedings of the 17th conference on Security symposium
Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Automated Software Engineering
Towards Dynamic Component Isolation in a Service Oriented Platform
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Feature-oriented runtime adaptation
Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
Providing temporal isolation in the OSGi framework
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Classifying Java class transformations for pervasive virtualized access
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Parcels: A fast and feature-rich binary deployment technology
Computer Languages, Systems and Structures
Runtime bytecode transformation for Smalltalk
Computer Languages, Systems and Structures
Drivolution: rethinking the database driver lifecycle
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Class loading issues in Java™ RMI and Jini™ network technology
Class loading issues in Java™ RMI and Jini™ network technology
Scaling J2EE™ application servers with the multi-tasking virtual machine
Scaling J2EE™ application servers with the multi-tasking virtual machine
Object spaces for safe image surgery
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
VMKit: a substrate for managed runtime environments
Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Isolating untrusted software extensions by custom scoping rules
Computer Languages, Systems and Structures
A survey on approaches for addressing dependability attributes in the OSGi service platform
ACM SIGSOFT Software Engineering Notes
Flexible models for dynamic linking
ESOP'03 Proceedings of the 12th European conference on Programming
CoqJVM: an executable specification of the Java virtual machine using dependent types
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Supporting dynamic aspect-oriented features
ACM Transactions on Software Engineering and Methodology (TOSEM)
Task types for pervasive atomicity
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Modules as objects in newspeak
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Electronic Notes in Theoretical Computer Science (ENTCS)
An extensible, self contained, layered approach to context acquisition
Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing
A framework for modular linking in OO languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
On correctness of dynamic protocol update
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Loosely-separated “sister” namespaces in java
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Sharing the runtime representation of classes across class loaders
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Application object isolation in cross-platform operating environments
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Using first-class contexts to realize dynamic software updates
Proceedings of the International Workshop on Smalltalk Technologies
Virtualization of service gateways in multi-provider environments
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A model of dynamic binding in .NET
CD'05 Proceedings of the Third international working conference on Component Deployment
Language design and analyzability: a retrospective
Software—Practice & Experience
Design and implementation of an embedded python run-time system
USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference
Incremental dynamic updates with first-class contexts
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Modeling class loaders in Java PathFinder version 7
ACM SIGSOFT Software Engineering Notes
Dynamic anomaly detection for more trustworthy outsourced computation
ISC'12 Proceedings of the 15th international conference on Information Security
S-RVM: a secure design for a high-performance java virtual machine
Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages
Bridging islands of specialized code using macros and reified types
Proceedings of the 4th Workshop on Scala
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.01 |
Class loaders are a powerful mechanism for dynamically loading software components on the Java platform. They are unusual in supporting all of the following features: laziness, type-safe linkage, user-defined extensibility, and multiple communicating namespaces.We present the notion of class loaders and demonstrate some of their interesting uses. In addition, we discuss how to maintain type safety in the presence of user-defined dynamic class loading.