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 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:15 Talk | Welcome RDP | ||
09:15 - 10:00 Talk | Automatic Verification of Database-Centric Workflows RDP |
10:30 - 11:00 Talk | Verification Challenges in Applications of Blockchain for Business Collaboration RDP Takaaki TateishiIBM Research - Tokyo | ||
11:00 - 11:30 Talk | Fiat: A New Take on Domain-Specific Languages by Programming with Specifications RDP | ||
11:30 - 12:00 Talk | Parallel-Correctness and Transferability for Conjunctive Queries RDP |
14:00 - 14:45 Talk | Synthesizing Data-parallel Programs RDP Aws AlbarghouthiUniversity of Wisconsin - Madison | ||
14:45 - 15:30 Talk | Cosette: A Solver for SQL Equivalences RDP Alvin CheungUniversity of Washington |
16:00 - 16:30 Talk | Building performance-sensitive systems in high-level languages RDP | ||
16:30 - 17:00 Talk | Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data RDP Kathleen FisherTufts University | ||
17:00 - 17:30 Talk | Computation with Atoms RDP | ||
17:30 - 18:00 Talk | Discussion RDP |