High performance annotation-aware JVM for java cards

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 52-61

  Azevedo, Ana ^a   Kejariwal, Arun ^a   Veidenbaum, Alex ^a   Nicolau, Alexandra ^a  

^a 5226 Donald Bren Hall   (United States)

Author keywords

High Performance; Java Card; Superoperators; Virtual Machine

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER NETWORKS; COMPUTER SOFTWARE; CRYPTOGRAPHY; PROCESS CONTROL; SECURITY OF DATA;

JAVA CARD; SUPEROPERATORS; VIRTUAL MACHINE;

JAVA PROGRAMMING LANGUAGE;

EID: 29244476048     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086240     Document Type: Conference Paper

References (43)

1. O. Potonniée. Ubiquitous personalization: A smart card based approach. In Proceedings of the 4th Gemplus Developer Conference, November 2002.
2. Smart card: A primer, http://www.javaworld.com/javaworld/jw-12-1997/jw- 12-javadev.html.
3. W. Rankl and W. Effing. Smart Card Handbook. John Wiley and Sons, 1997.
4. Java card technology. http://java.sun.com/products/javacard/.
5. A Java card primer, http://www.developer.com/java/other/article.php/ 910261.
6. U. Hansmann, S. Nicklous, T. Schaeck, A. Schneider, and F. Seliger. Smart Card Application Development Using Java. Springer-Verlag, second edition, 1999.
7. Z. Chen. Java Card™ Technology for Smart Cards: Architecture and Programmer's Guide. Addison-Wesley, 1991.
8. G. Grimaud and J.-J. Vandewalle, Introducing research issues for next generation Java-based smart card platforms. In Proceedings of the Smart Objects Conference, pages 138-141, Grenoble, France, May 2003.
9. D. Naccache and D. M'Raïhi, Cryptographic smart cards. IEEE Micro, 16(3):14-24, 1996.
10. H. Pietiläinen. Elliptic curve cryptography on smart cards. Master's thesis, Helsinki University of Technology, October 2000.
11. LaTTe. http://latte.snu.ac.kr/.
12. R. Radhakrishnan, J. Rubio, and L. K. John. Characterization of Java applications at bytecode and Ultra-SPARC machine code levels. Proceedings of the 17th International Conference on Computer Design, pages 281-284, October 1999.
13. K. Ogata, H. Komatsu, and T. Nakatani. Bytecode fetch optimization for a Java interpreter. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), pages 58-67, San Jose, CA, 2002.
14. M. G. Burke, J. Choi, S. Fink, D. Grove, and M. Hind. The Jalapeno dynamic optimizing compiler for Java. ACM Java Grande Conference, pages 129-141, June 1999.
15. D. Griswold, The Java HotSpot Virtual Machine Architecture, March 1998. See whitepaper at http://www.javasoft.com/products/hotspot.
16. H. McGhan and M. O'Connor. PicoJava: A direct execution engine for Java bytecode. IEEE Computer, 31(10):22-30, October 1998.
17. D. Kuck, R. Kuhn, D. Padua, B. Leasure, and M. J. Wolfe. Dependence graphs and compiler optimizations. In Conference Record of the Eighth Annual ACM Symposium on the Principles of Programming Languages, Williamsburg, VA, January 1981.
18. A. Azevedo. Annotation-aware Dynamic Compilation and Interpretation. PhD thesis, University of California, Irvine, 2002.
19. A. Kim and M. Chang. Java bytecode optimization with advanced instruction folding mechanism, pages 268-275, October 2000.
20. W. El-Kharashi, F. ElGuibaly, and K. F. Li. An operand extraction-based stack folding algorithm for Java processors. Proceedings of the 2nd Annual Workshop on Hardware Support for Objects and Microarchitectures for Java, 2000.
21. J. Hummel, A. Azevedo, D. Kolson, and A. Nicolau. Annotating the Java bytecodes in support of optimization. Journal Concurrency: Practice and Experience, 9(11):1003-1016, November 1997.
22. T. Lindholm and F. Yellin. Java Virtual Machine Specification. Addison-Wesley, Boston, MA, 1999.
23. J. R. Bell. Threaded Code. Communications of the ACM, 16(6):370-372, June 1973.
24. M. A. Ertl. A Portable Forth Engine. In EuroForth'93 conference proceedings, Mariánské Lázne9̀ (Marienbad), 1993.
25. M. A. Ertl. Stack caching for interpreters. In Proceedings of the SIGPLAN'95 Conference on Programming Language Design and Implementation, pages 315-327, 1995.
26. M. Anton Ertl. Threaded Code Variations, In EuroForth'93 conference proceedings, pages 49-55, 1993.
27. T. A. Proebsting. Optimizing an ANSI C interpreter with superoperators. In Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 322-332, San Francisco, CA, 1995.
28. C. W. Fraser and D. R. Hanson. A Retargetable C Compiler: Design and Implementation. Addison-Wesley, Boston, MA, 1995.
29. D. Gregg, M. A. Ertl, and A. Krall. Implementing an efficient Java interpreter. In Proceedings of the 9th International Conference on High-Performance Computing and Networking, pages 613-620, 2001.
30. M. A. Ertl, D. Gregg, A. Krall, and B. Paysan, Vmgen - A generator of efficient virtual machine interpreters. Software - Practice and Experience, 32(3):265-294, 2002.
31. I. Piumarta and F. Riccardi. Optimizing Direct-threaded Code by Selective Mining. Proceedings of the SIGPLAN'98 Conference on Programming Language Design and Implementation, pages 291-300, 1998.
32. S. Thibault, C. Consel, J. L. Lawall, R. Marlet, and G. Muller. Static and dynamic program compilation by interpreter specialization. Higher-Order and Symbolic Computation, 13(3):161-178, 2000.
33. Sun Microsystems Inc. Picojava 1 microprocessor core architecture, 1999. See http://solutions.sun.com/embedded/databook/pdf/ whitepapers/WPR-0014-01.pdf.
34. Sun Microsystems Inc. Picojava-II programmer's reference manual, March 1999.
35. L. C. Chang, L. R. Ton, M. F. Kao, and C. P. Chung, Stack operations folding in Java processors. IEEE Computers and Digital Techniques, 145(5):333-340, September 1998.
36. L. R. Ton, L. C. Chang, M. F. Kao, H. Tsenga, S. Shang, R. Ma, D. Wang, and C. P. Chung. Instruction folding in Java processor. International Conference on Parallel and Distributed Systems, pages 138-143, December 1997.
37. A. Kim, Y. Qian, and Morris Chang. Designing a memory system using a static loader for embedded Java architectures. Proceedings of the 2nd International Workshop on Compiler and Architecture Support for Embedded Systems, pages 565-566, October 1999.
38. D. Rayside, E. Mamas, and E. Hons. Compact Java binaries for embedded systems. In Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, page 9, Mississauga, Ontario, Canada, 1999.
39. L. R. Clausen, U. P. Schultz, C. Consel, and G. Muller. Java bytecode compression for low-end embedded systems. ACM Transactions on Programming Languages and Systems, 22(3):471-489, 2000.
40. K. Casey, D. Gregg, M. A. Ertl, and A. Nisbet. Towards superinstructions for java interpreters. In Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, pages 329-343, Vienna, Austria, 2003.
41. D. O'Donoghue and J. F. Power. Identifying and evaluating a generic set of superinstructions for embedded Java programs. In Proceedings of the International Conference on Embedded Systems and Applications, pages 192-198, 2004.
42. M. A. Ertl and D. Gregg. Combining stack caching with dynamic superinstructions. In Proceedings of the 2004 workshop on Interpreters, Virtual Machines and Emulators, pages 7-14, Washington, D.C., 2004.
43. E. Gagnon and L. J. Hendren. Effective inline-threaded interpretation of java bytecode using preparation sequences. In Proceedings of the 12th International Conference on Compiler Construction, pages 170-184, Warsaw, Poland, 2003.