SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 23:20 - 23:40 at SPLASH-I - F-3A Chair(s): Ramy Shahin, Hidehiko Masuhara
Fri 20 Nov 2020 11:20 - 11:40 at SPLASH-I - F-3A Chair(s): Stefan Marr, Reuben Rowe

Datalog is a declarative logic programming language that has been used in a
variety of applications, including big-data analytics, language processing,
networking and distributed systems, and program analysis.

In this paper, we propose first-class Datalog constraints as a mechanism to
construct, compose, and solve Datalog programs at run time. The benefits are
twofold: We gain the full power of a functional programming language to operate
on Datalog constraints-as-values, while simultaneously we can use Datalog where
it really shines: to declaratively express and solve fixpoint problems.

We present an extension of the lambda calculus with first-class Datalog
constraints, including its semantics and a type system with row polymorphism
based on Hindley-Milner. We prove soundness of the type system and implement it
as an extension of the Flix programming language.

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

11:00 - 12:20: F-3AOOPSLA at SPLASH-I +12h
Chair(s): Stefan MarrUniversity of Kent, Reuben RoweUniversity College London
11:00 - 11:20
Talk
Contextual Dispatch for Function Specialization
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
Fixpoints for the Masses: Programming with First-Class Datalog Constraints
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
11:40 - 12:00
Talk
Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
12:00 - 12:20
Talk
Polymorphic Types and Effects with Boolean Unification
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached
23:00 - 00:20: F-3AOOPSLA at SPLASH-I
Chair(s): Ramy ShahinUniversity of Toronto, Hidehiko MasuharaTokyo Institute of Technology
23:00 - 23:20
Talk
Contextual Dispatch for Function Specialization
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
Fixpoints for the Masses: Programming with First-Class Datalog Constraints
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
23:40 - 00:00
Talk
Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
00:00 - 00:20
Talk
Polymorphic Types and Effects with Boolean Unification
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached