SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 17:20 - 17:40 at SPLASH-I - R-6 Chair(s): Filip Niksic, Adam Welc
Fri 20 Nov 2020 05:20 - 05:40 at SPLASH-I - R-6 Chair(s): Eelco Visser, Dominik Winterer

Optimizing the physical data storage and retrieval of data are two key
database management problems. In this paper, we propose a language that can
express both a relational query and the layout of its data. Our language can
express a wide range of physical database layouts, going well beyond the row-
and column-based methods that are widely used in database management systems.
We use deductive program synthesis to turn a high-level relational
representation of a database query into a highly optimized low-level
implementation which operates on a specialized layout of the dataset. We build
an optimizing compiler for this language and conduct experiments using a
popular database benchmark, which shows that the performance of our
specialized queries is better than a state-of-the-art in memory compiled
database system while achieving an order-of-magnitude reduction in memory use.

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

17:00 - 18:20: R-6OOPSLA at SPLASH-I +12h
Chair(s): Filip NiksicGoogle, Adam WelcUber Technologies
17:00 - 17:20
Talk
OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
17:20 - 17:40
Talk
OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
17:40 - 18:00
Talk
OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
18:00 - 18:20
Talk
OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 06:20: R-6OOPSLA at SPLASH-I
Chair(s): Eelco VisserDelft University of Technology, Dominik WintererETH Zurich
05:00 - 05:20
Talk
OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
05:20 - 05:40
Talk
OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
05:40 - 06:00
Talk
OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
06:00 - 06:20
Talk
OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached