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.