Points de repère

• Introduction à la compilation :
  [Aho, Sethi et Ullman 86, Wilhelm et Maurer 94, Wolfe 96,
  Muchnick 97, Nielson et Hankin 99]
• Flot de contrôle :
  [Janssen et Corporaal 97, Wolfe 91, Ramalingam 99, Havlak 97]
• Treillis :
  [Davey et Priestley 90]
• Connections de Galois :
  [Aarts 92]
• État de l'art sur l'analyse de flots de données [Marlowe et Ryder 90, Cortesi et Filé 99]
• Méthodes itératives :
  [Kildall 73, Hecht et Ullman 73, Kam et Ullman 76, Horwitz, Demers et Teitelbaum 87, Dwyer 95]
• Méthodes d'élimination :
  [Hecht et Ullman 72, Hecht et Ullman 74, Kennedy 76, Ryder et Paull 86, Tjiang et Hennessy 92,
  Rosen 77, Sharir 80, Sreedhar 95]
• Forme à Assignation Unique ("SSA: Static Single Assignment"):
  [Alpern, Wegman et Zadeck 88, Rosen, Wegman et Zadeck 88, Cytron et Ferrante 89, Ballance 90,
  McConnell et Johnson92,
  Cytron et Gershbein 93, Johnson et Pingali 93, Johnson 94, Brandis et Moessenboeck 94, Havlak 93, Havlak 94, Click 95, Click 95,
  Steensgaard 95,
  Sreedhar 95, Sreedhar et Gao 95, Sreedhar, Gao et Lee 96,
  Stoltz 95, Tu et Padua 95,
  Lapkowski et Hendren 96,
  Briggs, Cooper, Harvey et Simpson 98,
  Wolfe 96,
  Chow, Chan, Kennedy, Lo et Tu 97,
  Kennedy, Chan, Liu, Lo, Tu et Chow 1999,
  Bilardi et Pingali 2000]
• Forme à Assignation Unique gardée ("Gated SSA"):
  [Ballance 90, Havlak 93, Havlak 94, Tu et Padua 95, Stoltz 95]
• Analyse interprocédurale
  [Havlak 94]
• Analyse interprocédurale, Analyse des pointeurs : "Points-to":
  [Banning 79, Weihl 80, Myers 81, Cytron et Gershbein 93,
  Landi, Ryder et Zhang 93, Zhang, Ryder et Landi 96, Choi, Burke et Carini 93, Landi et Ryder 91, Landi et Ryder 92, Landi 92,
  Wilson et Lam 95, Wilson 97, Horwitz, Reps et Sagiv 95, Justiani et Hendren 94,
  Knoop et Steffen 94, Knoop, Rüthing et Steffen 96, Wolfe 96,
  Ghiya et Hendren 95, Ghiya et Hendren 96, Ghiya 98, Zhang 98]
• Analyse des programmes avec pointeurs: "shape analysis":
  [Chase, Wegman et Zadeck 90, Larus et Hilfinger 88,
  Hendren, Hummel et Nicolau 92, Hummel, Hendren et Nicolau 94, Ghiya, Hendren 95,
  Deutsch 92, Deutsch 94, Sagiv, Reps et Wilhelm 96, Sagiv, Reps et Wilhelm 98,
  Fradet, Gaugne et LeMétayer 96, Gaugne 97, Benedikt, Reps et Sagiv 99]
• Analyse des programmes avec pointeurs: "flow insensitive":
  [Hasti et Horwitz 98, Andersen 94, Steensgaard 96, Steensgaard 96]
• Program Dependence Graph
  [Ottenstein 84, Horwitz, Prins et Reps 88, Ferrante , Ottenstein et Warren 87]
• Interprétation abstraite:
  [Floyd 67, Wilhelm et Maurer 94(chap.10), Wegbreit 75,
  Cousot 76, Cousot 76, Cousot 79, Cousot 81, Cousot 92, Cousot 92, Cousot 96, Cousot 98,
  Qian et Goldberg 97, Reddy et Kamin 92, Horspool et Vitek 92, Mycroft et Nielson 83,
  Abramsky et Hankin 87, Wadler 88,
  Abramsky et Jensen 90, Burn 91,
  Bourdoncle 92, Bourdoncle 93, Fradet, Gaugne et LeMétayer 96, Marriott 93,
  Jones et Nielson 94, Attali, Caromel et Guider 99]
• Recherche des relations linéaires entre variables entières d'un programme:
  [Karr 76, Cousot et Halbwachs 78, Granger 89, Granger 90]
• Interprétation abstraite et programmation logique:
  [Cousot 92, Marriott 93]
• Analyse des dépendances pour la parallélisation : analyse des références aux tableaux
  [Banerjee 88, Banerjee 88, Feautrier 88, Feautrier 91, Gross et Steenkiste 90, Maydan 92,
  Pugh 92, Pugh et Wonnacott 92, Pugh et Wonnacott 93, Pugh et Wonnacott 94,
  Haghighat et Polychronopoulos 92, Haghighat et Polychronopoulos 96,
  Callahan et Kennedy 88, Wolfe 96, Wolfe et Tseng 92]
• Application aux transformations optimisantes:
  [Knoop, Rüthing et Steffen 92, Knoop, Rüthing et Steffen 93, Knoop 98]
• Application à la parallélisation:
  [HendrenNicolau 90, Creusillet et Irigoin 96, Justiani et Hendren 94, Wolfe 96]
• Typage des langages orientés objet :
  [Larcheveque 94, Castagna 97]
• Logique modale et analyse statique :
  [Steffen 91]
• "Slicing" :
  [Weiser 84, Binkley 93, Gallagher 96, Ottenstein 84, Jackson et Rollins 94,
  Reps, Horwitz, Sagiv et Rosay 94, Reps et Rosay 95, Tip 95]