Aurèle Barrière

• Formal Verification of Just-In-Time Compilation