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]
@inproceedings{AuerbachHMSS17a,
title = {Q*cert: A Platform for Implementing and Verifying Query Compilers},
author = {Joshua S. Auerbach and Martin Hirzel and Louis Mandel and Avraham Shinnar and Jérôme Siméon},
year = {2017},
doi = {10.1145/3035918.3056447},
url = {http://doi.acm.org/10.1145/3035918.3056447},
researchr = {https://researchr.org/publication/AuerbachHMSS17a},
cites = {0},
citedby = {0},
pages = {1703-1706},
booktitle = {Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017},
editor = {Semih Salihoglu and Wenchao Zhou and Rada Chirkova and Jun Yang 0001 and Dan Suciu},
publisher = {ACM},
isbn = {978-1-4503-4197-4},
}