DIStributed COmpilation (DISCO)

Le projet DISCO porte sur la compilation distribuée de connaissances. La compilation de connaissances vise à améliorer l’efficacité de la résolution de divers problèmes calculatoirement difficiles en réalisant un pré- traitement d’une partie des informations disponibles et en exploitant ensuite les représentations compilées calculées lors du pré-traitement. L’objectif du projet DISCO est d’étudier comment le parallélisme peut être exploité pour améliorer l’efficacité de la phase de compilation et celle d’utilisation des formes compilées produites. Il s’agit d’aborder trois grandes questions : comment décomposer l’information disponible en parties pour la répartir entre les unités de traitement accessibles ? Comment déterminer pour chaque partie un langage cible dans lequel elle sera traduite lors d’une phase hors ligne pour produire une forme compilée ? Comment réaliser efficacement les calculs visés pour la phase en ligne à partir de formes compilées ?