@inproceedings{801d20e48bd344ac8cbfb8f41a7d72c4,
title = "Verifiable annotations for embedded Java environments",
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.",
author = "Guangyu Chen and Mahmut Kandemir",
year = "2005",
doi = "10.1145/1086297.1086312",
language = "English (US)",
isbn = "159593149X",
series = "CASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems",
publisher = "Association for Computing Machinery (ACM)",
pages = "105--114",
booktitle = "CASES 2005",
address = "United States",
note = "CASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems ; Conference date: 24-09-2005 Through 27-09-2005",
}