Q∗cert: A platform for implementing and verifying query compilers
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Publications
Date
Featured collections
Popular topics
6 results at SIGMOD 2017
Hybrid transactional/analytical processing: A survey
- Fatma Özcan
- Yuanyuan Tian
- et al.
- 2017
- SIGMOD 2017
Natural language data management and interfaces: Recent development and open challenges
- Yunyao Li
- Davood Rafiei
- 2017
- SIGMOD 2017
Synthesizing extraction rules from user examples with SEER
- Maeda F. Hanafi
- Azza Abouzied
- et al.
- 2017
- SIGMOD 2017
Data management in machine learning: Challenges, techniques, and systems
- Arun Kumar
- Matthias Boehm
- et al.
- 2017
- SIGMOD 2017
Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017