Write a Blog >>
CC 2021
Tue 2 - Wed 3 March 2021 Online Conference
Tue 2 Mar 2021 13:00 - 13:15 at CC Virtual Room - IR Design Chair(s): Albert Cohen

Datalog allows intuitive declarative specification of logical inference tasks while enjoying efficient implementation via state-of-the-art engines such as LogicBlox and Soufflé. These engines enable high-performance implementation of complex logical tasks including graph mining, program analysis, and business analytics. However, all efficient modern Datalog solvers make use of shared memory, and present inherent challenges scalability. In this paper, we leverage recent insights in parallel relational algebra and present a methodology for constructing data-parallel deductive databases. Our approach leverages recent developments in parallelizing relational algebra to create an efficient data-parallel semantics for Datalog. Based on our methodology, we have implemented the first MPI-based data-parallel Datalog solver. Our experiments demonstrate comparable performance and improved single-node scalability versus Soufflé, a state-of-art solver.

Tue 2 Mar

Displayed time zone: Eastern Time (US & Canada) change

12:30 - 13:15
IR DesignCC Research Papers at CC Virtual Room
Chair(s): Albert Cohen Google
12:30
15m
Talk
Data-Aware Process Networks
CC Research Papers
Christophe Alias CNRS; ENS Lyon; Inria; University of Lyon, Alexandru Plesco XtremLogic
12:45
15m
Talk
Integrating a Functional Pattern-Based IR into MLIRArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Martin Lücke University of Edinburgh, Michel Steuwer University of Edinburgh, Aaron Smith University of Edinburgh; Microsoft
13:00
15m
Talk
Compiling Data-Parallel Datalog
CC Research Papers
Thomas Gilray University of Alabama at Birmingham, Sidharth Kumar University of Alabama at Birmingham, Kristopher Micinski Syracuse University