Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon. Q*cert: A Platform for Implementing and Verifying Query Compilers. In Semih Salihoglu, Wenchao Zhou, Rada Chirkova, Jun Yang 0001, Dan Suciu, editors, Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017. pages 1703-1706, ACM, 2017. [doi]
Abstract is missing.