컴파일러 이론에서 현재 열려있는 문제는 무엇입니까?

컴파일러 이론은 꽤 검증 된 주제 인 것 같습니다. 이 분야에서 진행중인 개방형 문제 또는 현재 연구는 무엇입니까?

내 경험상 다음과 같은 새로운 컴파일러 개발을 보았습니다.

• 데이터 병렬 처리 자동화 (또는 최소한 프로그래머가 수행 한 명시 적 작업량 감소)에 대해 작업하십시오. 이것은 일반적으로 언어에 대한 확장도 필요합니다.
• 수퍼 컴파일 또는 부분 평가와 같은 극단적 인 최적화 전략에 대한 작업

타입 체커와 같은 것들에 대한 다양한 작업을 보았지만 컴파일러 관련 내용에 대해 더 많이 이야기하고 있다고 가정합니다.

내가 떠났을 때부터 (아마도 여전히 관련성이 있음) :

• 분산 처리 :
  • 분산 프로세서 클러스터에서 실행되도록 응용 프로그램을 컴파일합니다.
    이를 위해서는 프로세서에 대한 데이터의 메모리 맵핑 (문제 데이터 분배)을 고려하고 프로세서 정지를 막기 위해 실제로 필요하기 전에 읽기 / 쓰기를 위해 메모리 페이지를 요청하는 명시 적 코드를 추가해야합니다.
• 병렬 처리 :
  • 컴파일러에서 스레드 코드를 생성했습니다.
    개발자가 스레드 코드를 명시 적으로 생성 할 필요가 없습니다 (일반적으로 코드가 매우 나쁘기 때문에).