15-411 Compiler Design
Lecture 27: Just-In-Time Compilation

• Reading:
  • Java Bytecode Verification: Algorithms and Formalizations
    Xavier Leroy
    Journal of Automated Reasoning, 30(3-4), pp. 235-269, 2003
  • Dynamic Compilation and Adaptive Optimization in Virtual Machines
    Michael Hind
    Second International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems (ACACES'06), July 2006
    Tutorial slides
  • A Survey of Adaptive Optimization in Virtual Machines
    Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney
    Proceedings of the IEEE, 92(2), pp. 449-466, February 2005
• Video: 15411f07 - Lecture 27
• Concepts:
  • Class file verification
  • Bytecode verifiction
  • Abstract interpretation
  • Just-in-time compilation
  • Ahead-of-time compilation
  • Adaptive optimization
• Previous lecture: Virtual Machines

[ Home | Schedule | Labs & Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Sakai ]

fp@cs
Frank Pfenning