Які існують відкриті проблеми в теорії компілятора?

Теорія компілятора, здається, є досить перевіреною темою. Які якісь відкриті проблеми чи сучасні дослідження відбуваються у цій галузі?

На моєму досвіді я бачив такі нові розробки компілятора:

• Робота над автоматизацією паралелізму даних (або, принаймні, зменшення обсягу явної роботи, виконаної програмістом). Зазвичай для цього потрібні також розширення до мови.
• Робота над екстремальними стратегіями оптимізації, такими як суперкомпіляція або часткове оцінювання (де програма згортається через оцінку до тих пір, поки вона не зменшиться до її "найменшої" форми і потім складеться)

Я бачив різноманітну роботу над такими речами, як типи шашок тощо, але я припускаю, що ви більше говорите про конкретні речі, що стосуються компілятора.

З моменту, коли я пішов (але, мабуть, все ще актуальний):

• Розподілена обробка:
  • Складання програми для запуску на розподіленому кластері процесорів.
    Це вимагає врахування відображення пам'яті (розподілу проблемних даних) даних процесорам та додавання явного коду для запиту сторінок пам'яті для читання / запису до того, як вони фактично потрібні для запобігання затримці процесорів.
• Паралельна обробка:
  • Компілятор генерував потоковий код.
    Усунення потреби розробників у явному генеруванні потокового коду (оскільки вони, як правило, дуже погані).