Abstract:
This talk will describe an emerging research theme, called telescoping languages, that is exploring ways to generate optimized high-level problem-solving languages from annotated domain libraries. The strategy involves an extensive, compute-intensive preliminary analysis of the library, performed at language-generation time. The output of this process, which could take many hours, or even days, to complete, will be an efficient compiler for an extended scripting language in which calls to the underlying domain library are recognized and optimized as primitive operations. The talk will describe this strategy and its application to a variety of problems including high-level languages for signal processing, mathematical library generation, and Matlab parallelism.