Verifiable annotations for embedded Java environments

Guangyu Chen, Mahmut Kandemir

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

Many implementations of Java Virtual Machine (JVM) use optimizing dynamic compilation for improving performance of Java applications. However, optimizing compilation is expensive in terms of both time and memory space complexity. Annotations are frequently used to reduce the dynamic compilation overhead in embedded Java environments where the memory budget and CPU speed are limited. However, some annotations can cause the dynamic compiler to generate code that violates the security policy of the JVM. These annotations present a safety problem if they are not verified before being used by the compiler. In this work, we present annotation schemes for three frequently used optimizations: null pointer check removal, value liveness analysis, and array bound check removal. All our annotations can be verified at low cost during dynamic compilation time to guarantee that they do not cause the compiler to generate code that violates the security policy of the JVM. Copyrighl 2005 ACM.

Original languageEnglish (US)
Title of host publicationCASES 2005
Subtitle of host publicationInternational Conference on Compilers, Architecture, and Synthesis for Embedded Systems
PublisherAssociation for Computing Machinery (ACM)
Pages105-114
Number of pages10
ISBN (Print)159593149X, 9781595931498
DOIs
StatePublished - Jan 1 2005
EventCASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems - San Francisco, CA, United States
Duration: Sep 24 2005Sep 27 2005

Publication series

NameCASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems

Other

OtherCASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
CountryUnited States
CitySan Francisco, CA
Period9/24/059/27/05

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Verifiable annotations for embedded Java environments'. Together they form a unique fingerprint.

  • Cite this

    Chen, G., & Kandemir, M. (2005). Verifiable annotations for embedded Java environments. In CASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (pp. 105-114). (CASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems). Association for Computing Machinery (ACM). https://doi.org/10.1145/1086297.1086312