* design and processing of domain-specific languages ドメイン固有言語（特定分野向け言語）の設計と処理 （例えばMathematicaやMATLABみたいなのとか。ハードウェア記述言語（VHDLとか）とか。 論文ではAT&Tが交換機の構成記述言語なんてのを提案してるのを見たことがありますな。 Flashのスクリプト言語とかあるいはSQLとかもそうかもね。 このテの言語は必ずしもプログラミング言語屋が作らないので時々風変わりな実装がある。 つーか今私がWindowsに移植してる言語がそうだというのは個人的なグチ。）
>>652 * compilation for distributed heterogeneous systems 異種分散システムのコンパイル （CPUやメモリの構成が一様でない分散システムを扱う技術ですな。 通信とか同期とかメモリ共有とか負荷分散とか、 あるいはそもそも各ノードの構成情報をどうやって管理伝達するかとか。）
* effective implementation of advanced language features 言語の機能の効率的な実装 （例えば、大昔ならサブルーチン呼び出し、 最近ならオブジェクト指向とかアスペクト指向とか リフレクションとかを効率よく実行する方法について。 多分現在コンパイラ研究で実装面の主流。激しく応用寄り。 多分このスレの王道？）
* techniques for embedded and of mobile code これは 「（他言語やデータへの）埋め込みコード ＆（アプレットやエージェントとかの）移動可能なコードの技術」 のことか 「組み込みシステム向けコード＆移動体向けコードの技術」 のことか少々迷うな。どっちもあり得る。forとcodeに注目して英文解釈すると前者？
* program representations プログラムの表現 （一瞬、インテンショナル・プログラミングみたいにテキスト表現を用いない 開発環境と一体化した言語（？）とか連想したけど多分違ってて、 数学的＆理論的なプログラムのモデルのことだろうな。 だとすると業界で一番の理論寄り分野。）
>>652 * interactions between compilers and architectures コンパイラとアーキテクチャの相互作用 （キャッシュやパイプラインや特定の命令の有無などハードウェアの構成を知ったり、 もっと意欲的には再構成可能ハードウェアを構成したりとかも入るのかな？）
