15-411 Compiler Design
Lecture 16: Bytecode Verification

• Reading:
  • Java Bytecode Verification: Algorithms and Formalizations, Xavier Leroy, Journal of Automated Reasoning 30(3-4):235-269, 2003.
  • A Survey of Adaptive Optimization in Virtual Machines, Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, and Peter F. Sweeney, Proceedings of the IEEE 90(2), 2005.
• Concepts:
  • Class file verification
  • Byte code verification
  • JIT compilation
  • Adaptive optimization
• Previous lecture: The Java Virtual Machine
• Next lecture: Basic Optimizations

[ Home | Schedule | Labs & Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Blackboard | academic.cs.15-411 ]

fp@cs
Frank Pfenning