Publications

6 results at 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
Conference paper
Data management in machine learning: Challenges, techniques, and systems
- - Arun Kumar
  - Matthias Boehm
  - et al.
- 2017
- SIGMOD 2017
Conference paper
Synthesizing extraction rules from user examples with SEER
- - Maeda F. Hanafi
  - Azza Abouzied
  - et al.
- 2017
- SIGMOD 2017
Conference paper
Natural language data management and interfaces: Recent development and open challenges
- - Yunyao Li
  - Davood Rafiei
- 2017
- SIGMOD 2017
Conference paper
Hybrid transactional/analytical processing: A survey
- - Fatma Özcan
  - Yuanyuan Tian
  - et al.
- 2017
- SIGMOD 2017
Conference paper
Q^∗cert: A platform for implementing and verifying query compilers
- - Joshua S. Auerbach
  - Martin Hirzel
  - et al.
- 2017
- SIGMOD 2017
Conference paper