Generative Programming and Verification
by: Dr. Nada Amin

Abstract:
In this talk, I will illustrate the promise of generative programming -- writing expressive high-level programs that generate fast low-level code at runtime -- with a small (‹500 lines of code) SQL query engine that outperforms commercial and open source database systems. The key ingredient is a naive interpreter for relational algebra operations, which we turn into a fast compiler with the help of the Scala type system. I will build the SQL engine step-by-step, focusing on generative programming patterns. Finally, I will touch upon verifying properties (e.g. no memory nor overflow errors, checked contracts) of the low-level generated code, so that it is not only fast but also secure using a high-level, fast and safe HTTP parser as an example.