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

该奖项将支持计算机领域的合作研究 堪萨斯州立大学的大卫·施密特博士 和法国国家研究所的丹尼尔勒梅塔耶博士 计算机科学与自动化（INRIA），法国雷恩。 该项目解决了分析和效率的问题， 函数式编程语言的编译。 KSU的研究重点是自动化转型 实现由指称定义的语言的技术 语义定义。 重点是使用 程序表示的数据类型信息转换 将表示外延的表达式轻松地转换为 可实现的形式。 雷恩的INRIA小组的工作 专注于转化技术的应用， 功能程序的编译。 一种方法， 的时间和空间复杂性分析， 功能程序，已在 欧洲ESPRIT项目的框架。 在这 合作项目，KSU集团希望受益于 INRIA在面向编译器的程序转换方面的专业知识- 特别是在抽象概念的形成过程中， 语言的定义。 由于类型推断是 只是一种简单的抽象解释形式， 因为一些抽象解释可以被编码为类型， 推理问题，将取得重大进展，一旦 KSU小组学习如何调整其类型推理库 分析方法来描述存储共享分析和 其他基于一般抽象解释的分析。 这 该奖项将资助施密特博士和他的博士后的旅行- 国家自然资源研究所进行这项研究。

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.