Các vấn đề mở hiện tại trong lý thuyết trình biên dịch là gì?

Lý thuyết trình biên dịch dường như là một chủ đề khá hiệu lực. Một số vấn đề mở hoặc nghiên cứu hiện tại đang xảy ra trong lĩnh vực này là gì?

Theo kinh nghiệm của tôi, tôi đã thấy những phát triển trình biên dịch mới sau đây:

• Làm việc về tự động hóa song song dữ liệu (hoặc ít nhất, giảm số lượng công việc rõ ràng được thực hiện bởi lập trình viên). Điều này thường yêu cầu mở rộng cho ngôn ngữ là tốt.
• Làm việc trên các chiến lược tối ưu hóa cực đoan như siêu biên dịch hoặc đánh giá một phần (trong đó một chương trình được thu gọn thông qua đánh giá cho đến khi nó được giảm xuống dạng "nhỏ nhất" và sau đó được biên dịch)

Tôi đã thấy một loạt các công việc về những thứ như trình kiểm tra kiểu, v.v., nhưng tôi cho rằng bạn đang nói nhiều hơn về những thứ cụ thể của trình biên dịch.

Từ khi tôi rời đi (nhưng có lẽ vẫn còn liên quan):

• Quá trình đóng góp:
  • Biên dịch ứng dụng để chạy trên một cụm bộ xử lý phân tán.
    Điều này đòi hỏi phải xem xét ánh xạ bộ nhớ (phân phối dữ liệu vấn đề) dữ liệu cho bộ xử lý và thêm mã rõ ràng để yêu cầu các trang bộ nhớ đọc / ghi trước khi chúng thực sự cần thiết để ngăn chặn bộ xử lý.
• Tiến trình song song:
  • Trình biên dịch tạo mã luồng.
    Loại bỏ sự cần thiết cho các nhà phát triển để tạo mã luồng một cách rõ ràng (bởi vì họ thường rất tệ về nó).