Was sind aktuelle offene Probleme in der Compilertheorie?

Die Compilertheorie scheint ein ziemlich geprüftes Thema zu sein. Was sind offene Probleme oder aktuelle Forschungsergebnisse auf diesem Gebiet?

Nach meiner Erfahrung habe ich die folgenden neuen Compiler-Entwicklungen gesehen:

• Arbeiten Sie an der Automatisierung der Datenparallelität (oder zumindest an der Reduzierung der expliziten Arbeit des Programmierers). Dies erfordert in der Regel auch Erweiterungen der Sprache.
• Arbeiten Sie an extremen Optimierungsstrategien wie Supercompilation oder Teilevaluation (wobei ein Programm durch Evaluierung komprimiert wird, bis es auf seine "kleinste" Form reduziert und dann kompiliert wird).

Ich habe eine Vielzahl von Arbeiten gesehen, wie zum Beispiel Typprüfungen und so weiter, aber ich gehe davon aus, dass Sie mehr über compilerspezifische Dinge sprechen.

Ab wann ich gegangen bin (aber wahrscheinlich immer noch relevant):

• Verteilte Verarbeitung:
  • Kompilieren der Anwendung zur Ausführung auf einem verteilten Prozessorcluster.
    Dies erfordert die Berücksichtigung der Speicherzuordnung (Verteilung von Problemdaten) von Daten zu Prozessoren und das Hinzufügen von explizitem Code, um Speicherseiten zum Lesen / Schreiben anzufordern, bevor sie tatsächlich benötigt werden, um ein Blockieren des Prozessors zu verhindern.
• Parallelverarbeitung:
  • Vom Compiler generierter Thread-Code.
    Die Entwickler müssen keinen expliziten Thread-Code generieren (da sie im Allgemeinen sehr schlecht darin sind).