Improving the implementation of high-level languages

我研究的主要目标是改进高级编程语言的实现，特别是函数式语言。 编程已经慢慢地向高级语言发展，也就是说，向更简单、更有表现力、更强大、更直观的语言发展。 如果汇编语言仍然是唯一可用的语言，那么今天的大多数软件项目都是不可行的。 即使与汇编语言相比，C和C++等语言被认为是高级语言，但与Haskell、ML、Scheme和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.