编译器理论中当前存在哪些开放问题？

编译器理论似乎是一个经过审查的主题。该领域正在发生哪些未解决的问题或当前的研究？

以我的经验，我看到了以下新的编译器开发：

• 自动化数据并行性的工作（或至少减少了程序员的显式工作量）。这通常也需要扩展语言。
• 研究极端优化策略，例如超级编译或部分评估（其中程序通过评估被折叠，直到将其缩减为“最小”形式然后进行编译）

我已经看过各种诸如类型检查器之类的工作，但是我想您正在谈论的是编译器特有的东西。

从我离开时开始（但可能仍然有意义）：

• 分布式处理：
  • 编译应用程序以在处理器的分布式群集上运行。
    这需要考虑到数据到处理器的内存映射（问题数据的分布），并在为防止处理器停顿而实际需要它们之前，添加显式代码以请求用于读取/写入的内存页。
• 并行处理：
  • 编译器生成的线程代码。
    消除了开发人员显式生成线程代码的需要（因为它们通常对此很不好）。