I work on supporting expressive, compositional and nested query languages efficiently on relational query engines. To this end, I develop a query compilation approach based on Blelloch’s flattening transformation.
In terms of software, the main outcome of my work is Database-Supported Haskell (joint work with George Giorgidze and Jeroen Weijers), a DSL for database queries embedded in Haskell.
Proceedings of the 34th ACM SIGMOD Int'l Conference on the Management of Data (SIGMOD 2015), Melbourne, Australia, June 2015.
Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), Riva del Garda, Italy, August 30, 2013.
Proceedings of the VLDB Endowment (VLDB 2013), Riva del Garda, Italy, August 2013.
Proceedings of the 1st International Workshop on Data Driven Functional Programming (DDFP 2013), Rome, Italy. ACM, January 2013.
16th European Symposium on Research in Computer Security (ESORICS 2011), LNCS. Springer Verlag, September 2011.