Q*cert: A Platform for Implementing and Verifying Query Compilers.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon

Browse the full SIGMOD paper archive.