Improving the implementation of high-level languages

我的研究的主要目标在于改进高级编程语言的实现，特别是函数式语言的实现。编程正在慢慢地向高级语言发展，也就是朝着更简单、更有表现力、更强大、更直观的语言发展。如果汇编语言仍然是唯一可用的语言，那么今天的大多数软件项目都是不可行的。即使C和C++等语言与汇编语言相比被认为是高级语言，但与Haskell、ML、Program和Java等语言相比，它们仍然是低级语言。虽然我的主要目标与高级语言的实施有关，但我还有其他主要目标。我对改进语言的实现很感兴趣，即使是那些不是高级语言的语言。我还对提高软件的可靠性感兴趣，而不仅仅是语言相关的工具。即使我对高级语言有强烈的偏好，但低级语言现在被广泛使用，并可能在某些应用程序中继续使用很长一段时间。因此，改进这些语言的实施也很重要。关于软件的可靠性，显然没有达到应有的水平。如果汽车、飞机、建筑物和桥梁像软件一样(不)可靠，那将是灾难性的。软件生产显然不像其他生产过程那样成熟和系统化，例如在大多数工程学科中。鉴于我的目标，我打算继续研究编译器技术，特别是分析和优化技术，无论它是否与高级语言有关。我还打算促进直接旨在提高软件可靠性和安全性的技术的开发-如使用合同进行编程以及静态和动态的正式软件验证。我打算实现的项目包括函数式程序的静态剖析、自适应静态分析的扩展和改进、快速控制流分析的开发、将我们的扩展PCC技术应用于基于Oracle的PCC、追求位回收的发展。

The primary objective of my research consists in improving the implementation of high-level programming languages, and that of functional languages in particular. Programming has slowly been moving towards high-level languages, that is, towards simpler, more expressive, more powerful, more intuitive languages. Most of today's software projects would simply not be feasible if assembly languages were still the only languages available. Even if languages such as C and C++ are considered high-level compared to the assembly languages, they remain low-level compared to languages such as Haskell, ML, Scheme, and Java. While my primary objective relates to the implementation on high-level languages, I have other main objectives. I am interested in improving the implementation of languages, even those that are not high-level languages. I am also interested in increasing the reliability of software in general, not just the language-related tools. Even if I have a strong preference for high-level languages, lower-level languages are widely used nowadays and might continue to be used in certain applications for a very long time. Consequently, improving the implementation of these languages is important too. Regarding the reliability of software, it is obvious that it is not as high as it should. If cars, airplanes, buildings, and bridges were as (un)reliable as software, it would be catastrophic. Software production is clearly not as well established and as systematic as other production processes, e.g. in most engineering disciplines. Given my objectives, I intend to continue to conduct research on compiler technology, especially on analysis and optimization techniques, whether it is related to high-level languages or not. I also intend to contribute to the development of techniques that directly aim at improving the reliability and the security of software---like programming with contracts and static and dynamic formal software verification. Projects that I intend to realize include the static profiling of functional programs, the extension and improvement of adaptive static analysis, the development of a quick control-flow analysis, the application of our technique called Extended PCC to oracle-based PCC, the pursuit of the development of bit recycling.