Available Technologies - Search Results
| Title: | Mobile Code for Computers |
|---|---|
| UC Case No: | 2002-029-2-ott |
| Categories: |
Computer Technology:
Software
|
| Background: | The Java Virtual Machine's byte-code format (JVM-code) has become the de facto standard for transporting mobile code across the Internet. However, it is generally acknowledged that JVM-code is far from being an ideal mobile code representation - a considerable amount of preprocessing is required to convert JVM-code into a representation more amenable to an optimizing compiler, and in a dynamic compilation context, this preprocessing takes place while the user is waiting. Further, due to the need to verify the code's safety upon arrival at the target machine, and also due to the specific semantics of JVM's particular security scheme, many possible optimizations cannot be performed in the source-to-JVM-code-compiler, but can only be done at the evetual target machine (or at least it would be very cumbersome to perform at the code producer's site). |
| Technology: | We introduce a type-safe mobile code representation based on static single assignment form. This software is to be seen as an alternative to the JVM, over which it has several advantages: (1) it is better suited as input to optimizing dynamic code generators and allows CSE to be performed at the code producer's site; (2) it provides incorruptible referential integrity and uses "type seperation" to achieve intrinsic type safety (these properties reduce the code verification effort at the code consumer's site considerably); and (3) it can transport the results of type and bounds-check elimination in a tamper-proof manner. Despite these advantages, it is more compact than JVM-code. |
| Contact: |
Demetrios Andrikos, Director, Engineering & Physical Sciences Office of Technology Alliances University of California, Irvine 380 University Tower Irvine, CA 92697-7700 Phone: (949) 824-1233 FAX: (949) 824-2899 Email: dandriko@uci.edu |
| Patent Status: | Pending |
| UCI School: | Information & Computer Science |
| Department: | -- No Dept Listed -- |
