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
Participation
We invite broad participation from the programming languages and database communities.
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 15mTalk | Welcome RDP | ||
09:15 45mTalk | Automatic Verification of Database-Centric Workflows RDP | ||
10:30 - 12:00 | |||
10:30 30mTalk | Verification Challenges in Applications of Blockchain for Business Collaboration RDP Takaaki Tateishi IBM Research - Tokyo | ||
11:00 30mTalk | Fiat: A New Take on Domain-Specific Languages by Programming with Specifications RDP Adam Chlipala MIT | ||
11:30 30mTalk | Parallel-Correctness and Transferability for Conjunctive Queries RDP | ||
14:00 - 15:30 | |||
14:00 45mTalk | Synthesizing Data-parallel Programs RDP Aws Albarghouthi University of Wisconsin - Madison | ||
14:45 45mTalk | Cosette: A Solver for SQL Equivalences RDP Alvin Cheung University of Washington | ||
16:00 - 18:00 | |||
16:00 30mTalk | Building performance-sensitive systems in high-level languages RDP | ||
16:30 30mTalk | Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data RDP Kathleen Fisher Tufts University | ||
17:00 30mTalk | Computation with Atoms RDP | ||
17:30 30mTalk | Discussion RDP | ||
