Thank you for the paper - it is well-written and succinct. Karhik, do you think this approach can be applied to Apache Spark as well (given its well-known slowness with UDFs)?
If you could share any pointers about UDFs and their performance problems in Spark, I would love to investigate more.
The paper includes a brief discussion on synthesis-based techniques, and the reasoning behind Froid's design choices.