To: seminaire-gallium-moscova@inria.fr From: Francois.Pottier@inria.fr Subject: SEM - INRIA : Gallium - 05/10/09 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o /| /| __ __ __ __ _ _ / ) __) / / / / / /\/| ----- / |/ | / )(_ / / ) ) ) __) (___/ (_/ (_ (_ / (__/ / | / | (__/ __)(_ (__/ (_/ (_/ I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Lundi 5 octobre, 14h -------------- Silvain Rideau -------------- ENS =============================== Allocation de registre validée =============================== *** RECTIFICATION -- l'exposé est prévu à 14 HEURES *** Je présenterai les résultats d'un stage réalisé à Gallium cet été. Dans le cadre du développement de Compcert, le besoin d'une amélioration de l'allocateur de registre s'est fait sentir. Pour cela il a été choisi d'écrire un validateur a posteriori pour cette passe. Je présenterai donc le fonctionnement et la preuve de ce validateur, ainsi qu'un algorithme d'allocation: le live range splitting.