POPL 2017
Sun 15 - Sat 21 January 2017

The workshop on Reasoning about Declarative Programs (RDP) will bring together researchers from programming languages, distributed computing, declarative networking, and databases, to discuss techniques and stimulate cross-fertilization among these areas. The technical program will consist of invited talks and discussions. We will post talk abstracts on the workshop website but do not plan to have formal proceedings.

Accepted Papers

Title
Automatic Verification of Database-Centric Workflows
RDP
Building performance-sensitive systems in high-level languages
RDP
Computation with Atoms
RDP
Cosette: A Solver for SQL Equivalences
RDP
Discussion
RDP
Fiat: A New Take on Domain-Specific Languages by Programming with Specifications
RDP
Parallel-Correctness and Transferability for Conjunctive Queries
RDP
Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data
RDP
Synthesizing Data-parallel Programs
RDP
Verification Challenges in Applications of Blockchain for Business Collaboration
RDP
Welcome
RDP

Participation

We invite broad participation from the programming languages and database communities.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Session IRDP at Salle 107, Barre 44-54
Chair(s): Victor Vianu UC San Diego
09:00
15m
Talk
Welcome
RDP
Nate Foster Cornell University, Mooly Sagiv Tel Aviv University, Victor Vianu UC San Diego
09:15
45m
Talk
Automatic Verification of Database-Centric Workflows
RDP
14:00 - 15:30
Session IIIRDP at Salle 107, Barre 44-54
Chair(s): Nate Foster Cornell University
14:00
45m
Talk
Synthesizing Data-parallel Programs
RDP
Aws Albarghouthi University of Wisconsin - Madison
14:45
45m
Talk
Cosette: A Solver for SQL Equivalences
RDP
Alvin Cheung University of Washington