Chandrasekhar Boyapati  Home/Search
Context Related
| mit.edu/~chandra/publications/...evm.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/~chandra/publications/ (more) Homepages: C.Boyapati |
Rate this article:      (best)Comment on this article |
Abstract: The Java Virtual Machine Language (JVML) is rapidly emerging as the de-facto standard for representing portable code and Java Virtual Machines (JVMs) are increasingly being used as standard platforms for running applications. But how suitable are the JVMs and the associated JVML for this purpose? This paper argues that JVML has a serious drawback in that it is not extensible enough. This lack of extensibility hinders the process of deploying new innovations in applications that run on the JVM... (Update)
Context of citations to this paper: More
.... any of the mentioned work gets implemented in a realistic mobile code system, a phenomenon that partly motivates the proposal of the EVM [7]. In summary, the lack of modularity in the veri cation procedure prohibits a mobile code system from being extended to incorporate...
Cited by: More
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (Correct)
Proof Linking: Progress Report and Research Proposal - Fong (2002) (Correct)
Similar documents (at the sentence level):
77.7%: Towards An Extensible Virtual Machine - Boyapati (2002) (Correct)
Active bibliography (related documents): More All
0.5: Using Annotations to Reduce Dynamic Optimization Time - Krintz, Calder (2001) (Correct)
0.4: Ownership Types and Safe Lazy Upgrades in Object-Oriented.. - Boyapati, Liskov, Shrira (2002) (Correct)
0.3: Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (Correct)
Similar documents based on text: More All
0.5: A Type System for Java Bytecode Subroutines - Stata, Abadi (1998) (Correct)
0.4: Towards Array Bound Check Elimination in Java Virtual Machine.. - Xi, Xia (1999) (Correct)
0.3: Representing Java Classes in a Typed Intermediate Language - League, Shao, Trifonov (1999) (Correct)
Related documents from co-citation: More All
6: Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
4: Balloon Types: Controlling sharing of state in data types (context) - Almeida - 1997
4: Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
BibTeX entry: (Update)
Chandrasekhar Boyapati. Towards an extensible virtual machine. Technical Report MIT-LCS-TR-842, MIT Laboratory for Computer Science, Cambridge, MA 02139, April 2002. Also available at http://www.pmg.lcs.mit.edu/~chandra/publications/evm.ps. http://citeseer.ist.psu.edu/article/boyapati02towards.html More
@misc{ boyapati02towards,
author = "C. Boyapati",
title = "Towards an extensible virtual machine",
text = "Chandrasekhar Boyapati. Towards an extensible virtual machine. Technical
Report MIT-LCS-TR-842, MIT Laboratory for Computer Science, Cambridge, MA
02139, April 2002. Also available at http://www.pmg.lcs.mit.edu/~chandra/publications/evm.ps.",
year = "2002",
url = "citeseer.ist.psu.edu/article/boyapati02towards.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997
447 Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995
423 The Art of Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
292 BSD UNIX Operating System (context) - McKusick, Bostic et al. - 1996
230 An overview of AspectJ - Kiczales, Hilsdale et al. - 2001
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
188 Region-based memory management - Tofte, Talpin - 1997
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
153 The Java Language Speci cation (context) - Gosling, Joy et al. - 1996
150 Parametric shape analysis via 3-valued logic - Sagiv, Reps et al. - 1999
120 The Java Virtual Machine Speci cation (context) - Lindholm, Yellin - 1997
99 A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
87 Parameterized types for Java - Myers, Bank et al. - 1997
84 Adding type parameterization to the Java language - Agesen, Freund et al. - 1997
70 Region-based memory management in Cyclone - Grossman, Morrisett et al. - 2001
65 A semantic model of types and machine instructions for proof.. - Appel, Felty - 2000
62 The Jalapeno dynamic optimizing compiler for Java - Burke, Choi et al. - 1999
53 Compatible genericity with run-time types for the Java progr.. - Cartwright, Steele - 1998
51 Understanding Java stack inspection - Wallach, Felten - 1998
49 Design issues for persistent Java: A type-safe (context) - Atkinson, Jordan et al. - 1996
48 Network objects - Birrell, Nelson et al. - 1993
47 Marmot: An optimizing compiler for Java - Fitzgerald, Knoblock et al. - 2000
46 Graph types - Klarlund, Schwartzbach - 1993
43 A parameterized type system for race-free Java programs - Boyapati, Rinard - 2001
35 The pointer assertion logic engine - Moller, Schwartzbach - 2000
35 Role analysis - Kuncak, Lam et al. - 2002
30 Parametric polymorphism in Java: An approach to translation .. (context) - Viroli, Natali - 2000
30 NET Common Language Runtime (context) - Kennedy, Syme et al. - 2001
28 TVLA: A system for implementing static analyses (context) - Lev-Ami, Sagiv - 2000
25 Design and implementation of a meta architecture for Java (context) - Golm - 1997
25 Type-preserving garbage collectors - Wang, Appel - 2001
22 The Inferno operating system (context) - Pike, Presotto et al. - 1997
20 Representing Java classes in a typed intermediate language - League, Shao et al. - 1999
13 JPS: A distributed persistent Java system - Boyapati - 1998
12 Class modi cation in the GemStone object-oriented DBMS (context) - Penney, Stein - 1987
8 Principled scavenging (context) - Monnier, Saha et al. - 2001
8 Safe lazy software upgrades in object-oriented databases - Liskov, Moh et al. - 2002
7 Design and implementation of Guarana (context) - Oliva, Buzato - 1999
6 NET Common IL for functional language interoperability (context) - Syme, Extending - 2001
5 Load-time structural re ection in Java (context) - Chiba - 2000
3 A type system for certi ed binaries (context) - Shao, Saha et al. - 2002
2 Reducing transfer delay using Java class le splitting and pr.. (context) - Krintz, Calder et al. - 1999
2 The Limbo programming language (context) - Dorward, Winterbottom et al. - 1997
2 Towards scalable and reliable object evolution for the PJama.. (context) - Dmitriev, Hamilton - 2000
1 Using bytecode rewriting to add behavioral re ection to Java (context) - Welch, Stroud - 2001
1 A rst version of UNCOL (context) - Steel - 1961
1 A re ective extension for Java (context) - Welch, Stroud - 1999
http://www.gemstone.com/products/j/main.html
http://java.sun.com/products/jdk/1.2/docs/guide-
http://www.odi.com/products/psej.html
Documents on the same site (http://www.pmg.lcs.mit.edu/~chandra/publications/): More
A Type System for Preventing Data Races - Boyapati, Rinard (Correct)
JPS: A Distributed Persistent Java System - Boyapati (1998) (Correct)
O(1) Concatenation of Deques With Heap Order - Boyapati, Rangan (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC