Friday, November 20, 2015 11:00 am
-
11:00 am
EST (GMT -05:00)
Candidate
Steven Stewart
Topic
A Massively Parallel Column-Oriented Database for SAT and Analytics
Supervisors
Derek Rayside and Krzysztof Czarnecki
Background subjects
- SAT solvers
- Generative programming techniques
- Database query processor implementation
- GPU programming