US-France (INRIA) Cooperative Research: Semantics Driven Compiler Synthesis

该奖项将支持堪萨斯州立大学的David Schmidt博士和位于法国雷恩的法国国家计算机科学与自动化研究所（INRIA）的Daniel Le Metayer博士在计算机科学方面的合作研究。该项目解决了函数式编程语言的分析和高效编译问题。KSU的研究集中在实现由指称语义定义定义的语言的自动化转换技术上。重点是使用程序表示法的数据类型信息将表示该表示法的表达式转换为易于实现的形式。雷恩的INRIA小组的工作重点是将转换技术应用于函数程序的编译。已经开发了一种用于功能程序的时间和空间复杂性分析的方法，该方法已在欧洲ESPRIT项目的框架中实施。在这个合作项目中，KSU小组希望从INRIA在面向编译器的程序转换方面的专业知识中受益，特别是在语言定义的抽象解释的形成方面。由于类型推断只是抽象解释的一种简单形式，并且由于一些抽象解释可以被编码为类型推断问题，因此将会获得显著的收益，一旦KSU小组学会如何调整其基于类型推理的分析方法来描述存储共享分析和其他一般的基于抽象解释的分析。该奖项将资助施密特博士和他的博士后到INRIA进行这项研究。

This award will support collaborative research in computer science between Dr. David Schmidt, Kansas State University, and Dr. Daniel Le Metayer, French National Institute for Computer Science and Automation (INRIA), in Rennes, France. The project addresses the problem of analysis and efficient compilation of functional programming languages. Research at KSU has focused on automated transformation techniques for implementing languages defined by denotational semantics definitions. The emphasis has been on using the data typing information of a program's denotation to transform the expression that represents the denotation into an easily implementable form. Work by the INRIA group at Rennes has focused upon the application of transformation techniques for the compilation of functional programs. A methodology has been developed for the time and space-complexity analysis of functional programs, which has been implemented in the framework of a European ESPRIT project. In this collaborative project, the KSU group wishes to benefit from the expertise of INRIA in compiler-oriented program transfor- mations, in particular in the formation of abstract interpre- tations of language definitions. Since type inference is just a simple-minded form of abstract interpretation, and since some abstract interpretations can be coded as type inference problems, significant gains will be made, once the KSU group learns how to adapt its type inference-bases analysis method to describe both storage sharing analysis and other general abstract interpretation-based analyses. This award will fund the travel of Dr. Schmidt and his postdoc- toral to INRIA to carry out this research.