Philipp Adler,
Wolfram Amme:
Efficient Bytecode Verification for Constrained Devices
Proceedings of the 2nd Workshop on Embedded Systems Security (WESS 2007) at IEEE/ACM EMSOFT'2007, Salzburg, Austria, October 2007.
(PDF)
Philipp Adler,
Wolfram Amme:
Type-Separation as a Method for Efficient Bytecode Verification
Proceedings of the 13th International Workshop on Compilers for Parallel Computers (CPC 2007), Lisbon, Portugal, 09.-11. July 2007.
(PDF)
Wolfram Amme,
Marc-Andre Möller, Philipp Adler:
Data Flow Analysis as a General Concept for the Transport of Verfifiable Program Annotations
Electronic Notes in Theoretical Competer Science, Vol. 176, No. 3, pp. 97-108, 2007.
http://dx.doi.org/10.1016/j.entcs.2006.06.019
Wolfram Amme,
Marc-Andre Möller, Philipp Adler:
Data Flow Analysis as a General Concept for the Transport of Verfifiable Program Annotations
Proceedings of the 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), Vienna, Austria, 2nd April, 2006.
PDF
Philipp Adler,
Wolfram Amme,
Jeffery v. Ronne, Michael Franz:
Producer-Side Platform-Independent Optimizations and Their Effects on Mobile-Code Performance
Proceedings of the 10th IEEE Annual Workshop on Interaction between Compilers and Computer Architectures (INTERACT-10), Austin, Texas, 12th February 2006.
PDF
Philipp Adler,
Wolfram Amme:
Improving the Java Virtual Machine Using Type-Separated Bytecode
Proceedings of the 12th International Workshop on Compilers for Parallel Computers (CPC 2006), A Coruna, Spain, 09.-11. January 2006 .
PDF
Login